Coverart for item
The Resource Computer security--ESORICS 2000 : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings, Frédéric Cuppens [and others] (eds.)

Computer security--ESORICS 2000 : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings, Frédéric Cuppens [and others] (eds.)

Label
Computer security--ESORICS 2000 : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings
Title
Computer security--ESORICS 2000
Title remainder
6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings
Statement of responsibility
Frédéric Cuppens [and others] (eds.)
Title variation
ESORICS 2000
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Dewey number
005.8
Illustrations
illustrations
Index
index present
LC call number
QA76.9.A25
LC item number
E98 2000
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2000
http://bibfra.me/vocab/lite/meetingName
European Symposium on Research in Computer Security
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Cuppens, Frédéric
Series statement
Lecture notes in computer science
Series volume
1895
http://library.link/vocab/subjectName
Computer security
Label
Computer security--ESORICS 2000 : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings, Frédéric Cuppens [and others] (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Checking Secure Interactions of Smart Card Applets / P. Bieber, J. Cazin and P. Girard / [et al.] -- Verification of a Formal Security Model for Multiapplicative Smart Cards / Gerhard Schellhorn, Wolfgang Reif and Axel Schairer / [et al.] -- How Much Negotiation and Detail Can Users Handle? Experiences with Security Negotiation and the Granularity of Access Control in Communications / Kai Rannenberg -- Secure Anonymous Signature-Based Transactions / Els Van Herreweghen -- Metering Schemes for General Access Structures / Barbara Masucci and Douglas R. Stinson -- A Typed Access Control Model for CORBA / Gerald Brose -- Safety Analysis of the Dynamic-Typed Access Matrix Model / Masakazu Soshi -- A Formal Model for Role-Based Access Control Using Graph Transformation / Manuel Koch, Luigi V. Mancini and Francesco Parisi-Presicce -- A Formal Semantics for SPKI / Jon Howell and David Kotz -- Formal Verification of Cardholder Registration in SET / Giampaolo Bella, Fabio Massacci and Lawrence C. Paulson / [et al.] -- Automating Data Independence / P. J. Broadfoot, G. Lowe and A. W. Roscoe -- Finding a Connection Chain for Tracing Intruders / Kunikazu Yoda and Hiroaki Etoh -- A Full Bandwidth ATM Firewall / Olivier Paul, Maryline Laurent and Sylvian Gombault -- Analysing Time Dependent Security Properties in CSP Using PVS / Neil Evans and Steve Schneider -- Unwinding Possibilistic Security Properties / Heiko Mantel -- Authentication and Confidentiality via IPsec / Joshua D. Guttman, Amy L. Herzog and F. Javier Thayer -- A Security Framework for a Mobile Agent System / Ciaran Bryce -- A Distributed Access Control Model for Java / Refik Molva and Yves Roudier -- Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code / Ian Welch and Robert J. Stroud
Control code
44818426
Dimensions
24 cm
Extent
x, 323 pages
Isbn
9783540410317
Isbn Type
(softcover : alk. paper)
Lccn
00063785
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Label
Computer security--ESORICS 2000 : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings, Frédéric Cuppens [and others] (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Checking Secure Interactions of Smart Card Applets / P. Bieber, J. Cazin and P. Girard / [et al.] -- Verification of a Formal Security Model for Multiapplicative Smart Cards / Gerhard Schellhorn, Wolfgang Reif and Axel Schairer / [et al.] -- How Much Negotiation and Detail Can Users Handle? Experiences with Security Negotiation and the Granularity of Access Control in Communications / Kai Rannenberg -- Secure Anonymous Signature-Based Transactions / Els Van Herreweghen -- Metering Schemes for General Access Structures / Barbara Masucci and Douglas R. Stinson -- A Typed Access Control Model for CORBA / Gerald Brose -- Safety Analysis of the Dynamic-Typed Access Matrix Model / Masakazu Soshi -- A Formal Model for Role-Based Access Control Using Graph Transformation / Manuel Koch, Luigi V. Mancini and Francesco Parisi-Presicce -- A Formal Semantics for SPKI / Jon Howell and David Kotz -- Formal Verification of Cardholder Registration in SET / Giampaolo Bella, Fabio Massacci and Lawrence C. Paulson / [et al.] -- Automating Data Independence / P. J. Broadfoot, G. Lowe and A. W. Roscoe -- Finding a Connection Chain for Tracing Intruders / Kunikazu Yoda and Hiroaki Etoh -- A Full Bandwidth ATM Firewall / Olivier Paul, Maryline Laurent and Sylvian Gombault -- Analysing Time Dependent Security Properties in CSP Using PVS / Neil Evans and Steve Schneider -- Unwinding Possibilistic Security Properties / Heiko Mantel -- Authentication and Confidentiality via IPsec / Joshua D. Guttman, Amy L. Herzog and F. Javier Thayer -- A Security Framework for a Mobile Agent System / Ciaran Bryce -- A Distributed Access Control Model for Java / Refik Molva and Yves Roudier -- Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code / Ian Welch and Robert J. Stroud
Control code
44818426
Dimensions
24 cm
Extent
x, 323 pages
Isbn
9783540410317
Isbn Type
(softcover : alk. paper)
Lccn
00063785
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
    • University of Missouri Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65211, US
      38.919360 -92.291620
Processing Feedback ...