Computer security--ESORICS '96 : 4th European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996 : proceedings
Author(s)
Bibliographic Information
Computer security--ESORICS '96 : 4th European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996 : proceedings
(Lecture notes in computer science, 1146)
Springer, c1996
Available at 50 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||114696036551
Note
Includes bibliographical references and index
Description and Table of Contents
Description
This book constitutes the refereed proceedings of the 4th European Symposium on Research in Computer Security, ESORICS '96, held in Rome, Italy, in September 1996 in conjunction with the 1996 Italian National Computer Conference, AICA '96.
The 21 revised full papers presented in the book were carefully selected from 58 submissions. They are organized in sections on electronic commerce, advanced access control models for database systems, distributed systems, security issues for mobile computing, network security, theoretical foundations of security, and secure database architectures.
Table of Contents
Development of a Secure Electronic Marketplace for Europe.- Lightweight micro-cash for the internet.- Digital payment systems with passive anonymity-revoking trustees.- An authorization model for workflows.- Role hierarchies and constraints for lattice-based access controls.- A multilevel security model for distributed object systems.- An authorization model for federated systems.- Security for mobile agents: Authentication and state appraisal.- Server-Supported Signatures.- Limitations of the approach of solving a network's security problems with a firewall.- Sleepy network-layer authentication service for IPSEC.- Certified electronic mail.- Distributed proctoring.- Merging heterogeneous security orderings.- CSP and anonymity.- Formal semantics for authentication logics.- Threat scenarios as a means to formally develop secure systems.- The impact of multilevel security on database buffer management.- Enhancing the controlled disclosure of sensitive information.- Secure concurrency control in MLS databases with two versions of data.- Panel session: Authors' rights and copyright protection.- Modelling a public-key infrastructure.- Analyzing the Needham-Schroeder public key protocol: A comparison of two approaches.
by "Nielsen BookData"