1 Table of Contents: “... Networks -- The Resurrecting Duckling -- INTERNET-MARKs: Clear, Secure, and Portable Visual Marks...”

2

3

4

5 Table of Contents: “... internet secure transactions based on collaborative domains -- How to build evidence in a public-key...”

6 Table of Contents: “...Inductive Analysis of the Internet Protocol TLS -- Inductive Analysis of the Internet Protocol TLS...”

7 Table of Contents: “...Keynote Address: Security Protocols and the Swiss Army Knife -- Mergers and Principals -- Mergers...”

8

9

10

11 Table of Contents: “... Exchange for Internet Protocols -- Efficient, DoS-Resistant, Secure Key Exchange for Internet Protocols...”

12 Table of Contents: “... Imprecise Delegation in KeyNote -- Modeling Protocols for Secure Group Communications in Ad Hoc Networks...”

13 Table of Contents: “... Problem for Cryptographic Protocols Solved? -- Secure Sessions from Weak Secrets -- Secure Sessions from...”

14 Table of Contents: “... (Transcript of Discussion) -- One User, Many Hats; and, Sometimes, No Hat: Towards a Secure Yet Usable PDA...”

15 Table of Contents: “...On the Evolution of Adversary Models in Security Protocols (or Know Your Friend and Foe Alike...”

16 Table of Contents: “...Putting the Human Back in the Protocol -- Composing Security Metrics -- Putting the Human Back...”

17 “...Security and Cryptology...”

18 Subjects: “...Data and Information Security...”

19 “...Security and Cryptology...”

20 Subjects: “...Private International Law, International and Foreign Law, Comparative Law...”