Computer Security - ESORICS 2000

Beschreibung

his book presents the refereed proceedings of the 6th European Symposium on Research in Computer Security, ESORICS 2000, held in Toulouse, France in October 2000.
The 19 revised full papers presented were carefully reviewed and selected from a total of 75 submissions. The papers are organized in sections on personal devices and smart cards, electronic commerce protocols, access control, protocol verification, Internet security, security property analysis, and mobile agents.

Includes supplementary material: sn.pub/extras

Autor*in

Frederic Cuppens

Themen in »Computer Security - ESORICS 2000«

ATM CORBA Computer Security Digital Payment Electronic Commerce Formal Protocol Verification Internet Protocol (IP) Java Mobile Code Network Security Secure Networks Smart Cards formal verification security verification

Stimmen zu »Computer Security - ESORICS 2000«

Details

Link teilen