CSFW 2003 - PDF Preprint Papers

CSFW 2003 IEEE Computer Security Foundations Workshop

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CSFW-2003 Paper

click to vote

CSFW
2003
IEEE

173views Security Privacy» more CSFW 2003»

Anonymity and Information Hiding in Multiagent Systems

14 years 4 months ago

Download www.cs.cornell.edu

We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...

Joseph Y. Halpern, Kevin R. O'Neill

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	173	Anonymity and Information Hiding in Multiagent Systems	claim
2	154	Identity Based Authenticated Key Agreement Protocols from Pairings	claim
3	123	Using First-Order Logic to Reason about Policies	claim
4	121	Understanding SPKI/SDSI Using First-Order Logic	claim
5	115	Probabilistic Noninterference through Weak Probabilistic Bisimulation	claim
6	110	Automatic Validation of Protocol Narration	claim
7	106	Using Access Control for Secure Information Flow in a Java-like Language	claim
8	103	A Procedure for Verifying Security Against Type Confusion Attacks	claim
9	101	A Derivation System for Security Protocols and its Logical Formalization	claim
10	99	Type-Based Distributed Access Control	claim
11	76	On Generalized Authorization Problems	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers