Computer Security — ESORICS 92 [electronic resource] : 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 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. .

Saved in:
Bibliographic Details
Main Authors: Deswarte, Yves. editor., Eizenberg, Gérard. editor., Quisquater, Jean-Jacques. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
Subjects:Computer science., Computer communication systems., Operating systems (Computers)., Data encryption (Computer science)., Database management., Computer Science., Data Encryption., Operating Systems., Computer Communication Networks., Database Management.,
Online Access:http://dx.doi.org/10.1007/BFb0013888
Tags: Add Tag
No Tags, Be the first to tag this record!
id KOHA-OAI-TEST:184191
record_format koha
institution COLPOS
collection Koha
country México
countrycode MX
component Bibliográfico
access En linea
En linea
databasecode cat-colpos
tag biblioteca
region America del Norte
libraryname Departamento de documentación y biblioteca de COLPOS
language eng
topic Computer science.
Computer communication systems.
Operating systems (Computers).
Data encryption (Computer science).
Database management.
Computer Science.
Data Encryption.
Operating Systems.
Computer Communication Networks.
Database Management.
Computer science.
Computer communication systems.
Operating systems (Computers).
Data encryption (Computer science).
Database management.
Computer Science.
Data Encryption.
Operating Systems.
Computer Communication Networks.
Database Management.
spellingShingle Computer science.
Computer communication systems.
Operating systems (Computers).
Data encryption (Computer science).
Database management.
Computer Science.
Data Encryption.
Operating Systems.
Computer Communication Networks.
Database Management.
Computer science.
Computer communication systems.
Operating systems (Computers).
Data encryption (Computer science).
Database management.
Computer Science.
Data Encryption.
Operating Systems.
Computer Communication Networks.
Database Management.
Deswarte, Yves. editor.
Eizenberg, Gérard. editor.
Quisquater, Jean-Jacques. editor.
SpringerLink (Online service)
Computer Security — ESORICS 92 [electronic resource] : Second European Symposium on Research in Computer Security Toulouse, France, November 23–25, 1992 Proceedings /
description 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. .
format Texto
topic_facet Computer science.
Computer communication systems.
Operating systems (Computers).
Data encryption (Computer science).
Database management.
Computer Science.
Data Encryption.
Operating Systems.
Computer Communication Networks.
Database Management.
author Deswarte, Yves. editor.
Eizenberg, Gérard. editor.
Quisquater, Jean-Jacques. editor.
SpringerLink (Online service)
author_facet Deswarte, Yves. editor.
Eizenberg, Gérard. editor.
Quisquater, Jean-Jacques. editor.
SpringerLink (Online service)
author_sort Deswarte, Yves. editor.
title Computer Security — ESORICS 92 [electronic resource] : Second European Symposium on Research in Computer Security Toulouse, France, November 23–25, 1992 Proceedings /
title_short Computer Security — ESORICS 92 [electronic resource] : Second European Symposium on Research in Computer Security Toulouse, France, November 23–25, 1992 Proceedings /
title_full Computer Security — ESORICS 92 [electronic resource] : Second European Symposium on Research in Computer Security Toulouse, France, November 23–25, 1992 Proceedings /
title_fullStr Computer Security — ESORICS 92 [electronic resource] : Second European Symposium on Research in Computer Security Toulouse, France, November 23–25, 1992 Proceedings /
title_full_unstemmed Computer Security — ESORICS 92 [electronic resource] : Second European Symposium on Research in Computer Security Toulouse, France, November 23–25, 1992 Proceedings /
title_sort computer security — esorics 92 [electronic resource] : second european symposium on research in computer security toulouse, france, november 23–25, 1992 proceedings /
publisher Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,
publishDate 1992
url http://dx.doi.org/10.1007/BFb0013888
work_keys_str_mv AT deswarteyveseditor computersecurityesorics92electronicresourcesecondeuropeansymposiumonresearchincomputersecuritytoulousefrancenovember23251992proceedings
AT eizenberggerardeditor computersecurityesorics92electronicresourcesecondeuropeansymposiumonresearchincomputersecuritytoulousefrancenovember23251992proceedings
AT quisquaterjeanjacqueseditor computersecurityesorics92electronicresourcesecondeuropeansymposiumonresearchincomputersecuritytoulousefrancenovember23251992proceedings
AT springerlinkonlineservice computersecurityesorics92electronicresourcesecondeuropeansymposiumonresearchincomputersecuritytoulousefrancenovember23251992proceedings
_version_ 1756265200804167680
spelling KOHA-OAI-TEST:1841912018-07-30T23:05:30ZComputer Security — ESORICS 92 [electronic resource] : Second European Symposium on Research in Computer Security Toulouse, France, November 23–25, 1992 Proceedings / Deswarte, Yves. editor. Eizenberg, Gérard. editor. Quisquater, Jean-Jacques. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,1992.engThis 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. .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 autonomous domains -- 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.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. .Computer science.Computer communication systems.Operating systems (Computers).Data encryption (Computer science).Database management.Computer Science.Data Encryption.Operating Systems.Computer Communication Networks.Database Management.Springer eBookshttp://dx.doi.org/10.1007/BFb0013888URN:ISBN:9783540474883