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

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

3 “...Security and Cryptology...”

4

5

6

7

8

9

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

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

12 Table of Contents: “...Keynote Address: The Changing Environment -- Composing Security Properties -- Auditing against...”

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

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

15 Table of Contents: “...Secure books: Protecting the distribution of knowledge -- Protocols using anonymous connections...”

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

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

18 Subjects: “...Security Science and Technology...”

19 “... means that policies to address problems of safety, the environment and security are inadequate...”