Advances in Network and Distributed Systems Security IFIP TC11 WG11.4 First Annual Working Conference on Network Security November 26–27, 2001, Leuven, Belgium

A Role-based Specification of the SET Payment Transaction Protocol.- Information Security: Mutual Authentication in E-commerce.- Software-based Receipt-freeness in On-line Elections.- ID-based Structured Multisignature Schemes.- Probabilistic Relations for the Solitaire Keystream Generator.- Hazard Analysis for Security Protocol Requirements.- Securing RMI Communication.- Secure Java Development with UML.- Security Through Aspect-oriented Programming.- Extending a Campus Network with Remote Bubbles Using IPsec.- Combining World Wide Web and Wireless Security.- On Mobile Agent Based Transactions in Moderately Hostile Environments.- Sparta.- Shell’s Trust Domain Infrastructure Security Certification.