02949fam a2200349 a 4500 1880417 BD-DhUL 20140807155149.0 960828s1996 gw b 101 0 eng 96043202 3540617701 (alk. paper) (OCoLC)35364818 (OCoLC)ocm35364818 (NNC)1880417 DLC DLC NNC OrLoB-B BD-DhUL QA76.9.A25 E98 1996 005.8 20 COM European Symposium on Research in Computer Security (4th : 1996 : Rome, Italy) Computer security, ESORICS 96 : 4th European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996 : proceedings / Elisa Bertino ... [et al.], eds. Berlin ; New York : Springer, 1996. 9610 x, 364 p. : ill. ; 24 cm. Lcture notes in computer science ; 1146 Includes bibliographical references and index. Development of a Secure Electronic Marketplace for Europe / M. Waidner -- Light-Weight Micro-cash Payment for the Internet / W. Mao -- Digital Payment Systems with Passive Anonymity-Revoking Trustees / J. Camenisch, U. Maurer and M. Stadler -- An Authorization Model for Workflows / V. Atluri and W.-K. Huang -- Role Hierarchies and Constraints for Lattice-Based Access Controls / R. Sandhu -- A Multilevel Security Model for Distributed Object Systems / V. Nicomette and Y. Deswarte -- An Authorization Model for Federated Systems / S. De Capitani di Vimercati and P. Samarati -- Security for Mobile Agents: Authentication and State Appraisal / W. Farmer, J. Guttman and V. Swarup -- Server-Supported Signatures / N. Asokan, G. Tsudik and M. Waidner -- Sleepy Network-Layer Authentication Service for IPSEC / S. F. Wu -- Certified Electronic Mail / J. Zhou and D. Gollmann -- Distributed Proctoring / B. Schneier, J. Kelsey and J. Walker -- Merging Heterogeneous Security Orderings / P. Bonatti, M. L. Sapino and V. S. Subrahmanian -- CSP and Anonymity / S. Schneider and A. Sidiropoulos -- Formal Semantics for Authentication Logics / G. Wedel and V. Kessler -- Threat Scenarios as a Means to Formally Develop Secure Systems / V. Lotz -- The Impact of Multilevel Security on Database Buffer Management / A. Warner, Q. Li, T. Keefe and S. Pal -- Enhancing the Controlled Disclosure of Sensitive Information / D. G. Marks, A. Motro and S. Jajodia -- Secure Concurrency Control in MLS Databases with Two Versions of Data / L. V. Mancini and I. Ray -- Modelling a Public-Key Infrastructure / U. Maurer -- Analyzing the Needham-Schroeder Public-Key Protocol: A Comparison of Two Approaches / C. A. Meadows. Computer security Congresses. Bertino, Elisa. Lecture notes in computer science ; 1146. AUTH TOC ddc BK 1194 1194 0 0 ddc 0 005_800000000000000_COM 0 NFIC 2000 DUSL DUSL GEN 1999-12-04 Purchesed 005.8 COM 387646 2014-08-07 3 2014-08-07 BK 0 0 ddc 0 005_800000000000000_COM 0 NFIC 2004 DUSL DUSL GEN 1999-12-04 Purchesed 005.8 COM 372184 2014-08-07 1 2014-08-07 BK