Logical methods in security and privacy

IEEE Security and Privacy

Volumn 8, Issue 6, 2010, Pages 86-89

  Datta, Anupam ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LOGICAL METHODS; SECURITY AND PRIVACY;

EID: 78650047205     PISSN: 15407993     EISSN: None     Source Type: Journal    
DOI: 10.1109/MSP.2010.180     Document Type: Article

References (5)

1. P. Ryan et al., Mod elling and Analysis of Security Protocols, Addison-Wesley, 2001.
2. M. Burrows, M. Abadi, and R. Needham, "A Logic of Authentication, " ACM Trans. Computer Systems, vol. 8, no. 1, 1990, pp. 18-36.
3. A. Datta et al., "Protocol Composition Logic (PCL), " Electronic Notes in Theoretical Computer Science, vol. 172, Apr. 2007, pp. 311-358.
4. B. W. Lampson et al., "Authentication in Distributed Systems: Theory and Practice, " ACM Trans. Computer Systems, vol. 10, no. 4, 1992, pp. 265-310.
5. A. Barth et al., "Privacy and Contextual Integrity: Framework and Applications, " IEEE Symp. Security and Privacy, 2006, pp. 184-198.