7. Security Protocols Workshop 1999: Cambridge, UK
Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe (Eds.): Security Protocols, 7th International Workshop, Cambridge, UK, April 19-21, 1999, Proceedings. Springer 2000 Lecture Notes in Computer Science ISBN 3-540-67381-4- Roger M. Needham: Keynote Address: The Changing Environment. 1-5
- E. Stewart Lee: Composing Security Properties. 6-14
- T. Mark A. Lomas: Auditing against Multiple Policies. 15-20
- Bruce Christianson: Auditing against Impossible Abstractions. 60-64
- Dieter Gollmann: What Is Authentication? 65-72
- Lawrence C. Paulson: Relatios Between Secrets: The Yahalom Protocol. 73-84
- Giampaolo Bella: Modelling Agents' Knowledge Inductively. 85-94
- Wenbo Mao: Time-Lock Puzzle with Examinable Evidence of Unlocking Time. 95-102
- Matt Blaze, John Ioannidis, Angelos D. Keromytis: Trust Management and Network Layer Security Protocols. 103-118
- Michael Roe: Performance of Protocols. 140-152
- Frank Stajano, Ross J. Anderson: The Resurrecting Duckling: Security Issues for Ad-hoc Wireless Networks. 172-194
- Hiroshi Yoshiura, Seiichi Susaki, Yasuhiko Nagai, Tsukasa Saitoh, Hisashi Toyoshima, Ryôichi Sasaki, Satoru Tezuka: INTERNET-MARKs: Clear, Secure, and Portable Visual Marks for the Cyber Worlds. 195-207
- Bob Morris: Bob versus Bob - Good Guy/Bad Guy. 219-227
- Allan Ahlberg: Who Knows? 228
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203403 by the dblp team