Advances in Network and Distributed Systems Security : IFIP TC11 WG11.4 First Annual Working Conference on Network Security November 26-27, 2001, Leuven, Belgium / edited by Bart Decker, Frank Piessens, Jan Smits, Els Herreweghen
CONTENTS -- PREFACE -- ACKNOWLEDGEMENTS -- PART ONE Reviewed Papers -- 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 IPSECCOMBINING WORLD WIDE WEB AND WIRELESS SECURITY -- ON MOBILE AGENT BASED TRANSACTIONS IN MODERATELY HOSTILE ENVIRONMENTS * -- PART TWO Invited Papers -- SHELL�S TRUST DOMAIN INFRASTRUCTURE SECURITY CERTIFICATION Linking security management to business objectives -- AUTHOR INDEX
Summary
The more our society relies on electronic forms of communication, the more the security of these communication networks is essential for its well-functioning. As a consequence, research on methods and techniques to improve network security is extremely important. Topics in this volume include the latest developments in: Security protocols; Secure software engineering; Mobile agent security; E-commerce security; Security for distributed computing. £/LIST£ Advances in Network and Distributed Systems Security contains the proceedings of the First International Working Conference on Network Security (I-NetSec 01), which was sponsored by the International Federation for Information Processing (IFIP), and held in Leuven, Belgium in November 2001. This volume will be essential for researchers and practitioners working in this fascinating and fast-evolving field
