Computer security - ESORICS 92 : second european symposium on research in computer security, Toulouse, France, November 23-25, 1992 : proceedings
This volume presents the proceedings of the second European Symposium on Research in Computer Security (ESORICS 92), held in Toulouse in November 1992. The aim of this symposium is to further the progress of research in computer security by bringing together researchers in this area, by promoting th...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
648 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
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 92, second European symposium on research in computer security, Toulouse, France, November 23-25, 1992 proceedings, Y. Deswarte, G. Eizenberg, J.-J. Quisquater, ed, Berlin [etc.], Springer-Verlag, 1992, 1 vol. (XI-450 p.), Lecture notes in computer science, 3-540-56246-X • Computer Security - ESORICS 92, Texte imprimé, 9783662162569 |
| LEADER | 05330nam a22004697a 4500 | ||
|---|---|---|---|
| 001 | 944031 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN15517214X | ||
| 020 | |a 9783540474883 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.8 | ||
| 111 | 2 | |a European Symposium on Research in Computer Security |n (02 |d :1992 |c :Toulouse). | |
| 245 | 1 | 0 | |a Computer security - ESORICS 92 : |b second european symposium on research in computer security, Toulouse, France, November 23-25, 1992 : proceedings |c [edited by] Yves Deswarte, Gérard Eizenberg, Jean-Jacques Quisquater. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 648 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Access Control -- Towards security in an open systems federation -- Type-level access controls for distributed structurally object-oriented database systems -- On the Chinese Wall model -- Formal Methods -- Formal methods and automated tool for timing-channel identification in tcb source code -- Separating the specification and implementation phases in cryptology -- Formal specification of security requirements using the theory of normative positions -- Invited Talk -- Breaking the traditional computer security research barriers -- Authentication I -- Verification and modelling of authentication protocols -- KryptoKnight authentication and key distribution system -- Associating metrics to certification paths -- Distributed Systems -- An Object-Oriented view of fragmented data processing for fault and intrusion tolerance in distributed systems -- The development and testing of the identity-based conference key distribution system for the RHODOS distributed system -- Policy enforcement in stub autonomousdomains -- Authentication II -- Freshness assurance of authentication protocols -- A formal framework for authentication -- Timely authentication in distributed systems -- Database Security -- Polyinstantiation for cover stories -- On transaction processing for multilevel secure replicated databases -- Security constraint processing in multilevel secure AMAC schemata -- System Architectures -- M2S: A machine for multilevel security -- GDoM a multilevel document manager -- Applications -- UEPS A second generation electronic wallet -- A hardware design model for cryptographic algorithms -- ASAX: Software architecture and rule-based language for universal audit trail analysis. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This volume presents the proceedings of the second European Symposium on Research in Computer Security (ESORICS 92), held in Toulouse in November 1992. The aim of this symposium is to further the progress of research in computer security by bringing together researchers in this area, by promoting the exchange of ideas with system developers, and by encouraging links with researchers in areas related to computer science, informationtheory, and artificial intelligence. The volume contains 24 papers organizedinto sections on access control, formal methods, authentication, distributed systems, database security, system architectures, and applications. ESORICS 92 was organized by AFCET (Association francaise des sciences et technologies de l'information et des syst mes) in cooperation with a large number of national and international societies and institutes. . | ||
| 650 | |a Informatique | ||
| 650 | |a Mesures de sécurité | ||
| 650 | |a Systèmes d'exploitation (ordinateurs) | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Systèmes informatiques | ||
| 650 | |a Mesures de sûreté | ||
| 650 | |a Centres de traitement informatique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Deswarte, Yves, |d 19..- |4 pbd | |
| 700 | 1 | |a Quisquater, Jean-Jacques, |d 1945-...., |c informaticien. |4 pbd | |
| 700 | 1 | |a Eizenberg, Gérard. |4 pbd | |
| 776 | 0 | |0 013195247 |t Computer security-ESORICS 92 |o second European symposium on research in computer security, Toulouse, France, November 23-25, 1992 proceedings |f Y. Deswarte, G. Eizenberg, J.-J. Quisquater, ed |c Berlin [etc.] |n Springer-Verlag |d 1992 |p 1 vol. (XI-450 p.) |s Lecture notes in computer science |z 3-540-56246-X | |
| 776 | 0 | |t Computer Security - ESORICS 92 |b Texte imprimé |z 9783662162569 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0013888 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-4K05CTWF-G |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747923345 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0013888 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750935634 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0013888 |z Accès INSA CVL | |
| 997 | |0 944031 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||