Computer security - ESORICS 96 : 4th European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996 : proceedings
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 w...
Enregistré dans:
| 企業作者: | |
|---|---|
| 其他作者: | , , |
| 格式: | Livre numérique |
| 語言: | Anglais |
| 出版: |
Berlin ; Heidelberg :
Springer-Verlag : Springer e-books
[20..].
Cham : Springer Nature |
| 叢編: | Lecture notes in computer science
1146 |
| 主題: | |
| 在線閱讀: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 提示: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Computer security, ESORICS 96, 4th European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996, proceedings, edited by Elisa Bertino, Helmut Kurth, Giancarlo Martella, Emilio Montolivo, 1996, Berlin, Springer, 1 vol. (X-364 p.), Lecture notes in computer science, 3-540-61770-1 • Computer Security - ESORICS 96, Texte imprimé, 9783662210697 |
書本目錄:
- 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.