NDLI: An Epistemic Logic Based Framework for Reasoning about Information Hiding

Content Provider	IEEE Xplore Digital Library
Author	Goriac, I.
Copyright Year	2011
Abstract	The last ten years witnessed a sustained effort aimed at developing a formalism appropriate for rigorous reasoning about information hiding related properties. Among the various existent proposals one can distinguish the highly general approach of Halpern and O'Neil that employs a simple epistemic logic in the context of a multi-agent system. Still, in the context of the same formalism, basic concepts like unlink ability, undetectability, unobservability or pseudonymity are very scarcely discussed in the literature. The goal of this paper is to fill this gap by using the same epistemic logic based framework. Here we extend the aforementioned formalism to include group epistemic operators (everyone knows, common knowledge and distributed knowledge) and prove that the inference system that is thus obtained is compatible with the S5 axiomatic system and the conjunctivity axiom. We propose epistemic formalizations not only for anonymity (Halpern and O'Neil), privacy, onymity and identity (Tsukada et al.) but also for a wide spectrum of information hiding related concepts: protocol, (un) link ability, (un) traceability, (un) detectability, (un) identifiability, unobservability, pseudonymity, dissimulation. To provide an overview, we organize a large number of terms related to computer security in a comprehensive hierarchical structure divided in three sections: setting, ends and means. Basic properties and relationships between these concepts are also provided.
Starting Page	286
Ending Page	293
File Size	254894
Page Count	8
File Format	PDF
ISBN	9781457709791
DOI	10.1109/ARES.2011.49
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2011-08-22
Publisher Place	Austria
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Privacy Multiagent systems Protocols secrecy information hiding multiagent epistemic logic authenticity Cognition Proposals Computer security
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

A quantified epistemic logic for reasoning about multiagent systems

A spatial-epistemic logic for reasoning about security protocols.

A Spatial-Epistemic Logic for Reasoning about Security Protocols

Temporalised Epistemic Logic for Reasoning about Agent-Based Systems

A Spatial-Epistemic Logic for Reasoning about Security Protocols

A spatial-epistemic logic and tool for reasoning about security protocols.

Reasoning about belief in cryptographic protocols

Anonymity and information hiding in multiagent systems (2008).

Anonymity and Information Hiding in Multiagent Systems (2008)

An Epistemic Logic Based Framework for Reasoning about Information Hiding

Similar Documents

A quantified epistemic logic for reasoning about multiagent systems

A spatial-epistemic logic for reasoning about security protocols.

A Spatial-Epistemic Logic for Reasoning about Security Protocols

Temporalised Epistemic Logic for Reasoning about Agent-Based Systems

A Spatial-Epistemic Logic for Reasoning about Security Protocols

A spatial-epistemic logic and tool for reasoning about security protocols.

Reasoning about belief in cryptographic protocols

Anonymity and information hiding in multiagent systems (2008).

Anonymity and Information Hiding in Multiagent Systems (2008)

An Epistemic Logic Based Framework for Reasoning about Information Hiding