skip to content
Computer security--ESORICS 2000 : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings Preview this item
ClosePreview this item
Checking...

Computer security--ESORICS 2000 : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings

Author: Frédéric Cuppens
Publisher: Berlin ; New York : Springer, 2000.
Series: Lecture notes in computer science, 1895.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
His book presents the refereed proceedings of the 6th European Symposium on Research in Computer Security, ESORICS 2000, held in Toulouse, France in October 2000. The 19 revised full papers presented were carefully reviewed and selected from a total of 75 submissions. The papers are organized in sections on personal devices and smart cards, electronic commerce protocols, access control, protocol verification,  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: European Symposium on Research in Computer Security (6th : 2000 : Toulouse, France).
Computer security--ESORICS 2000.
Berlin ; New York : Springer, 2000
(DLC) 00063785
(OCoLC)44818426
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Frédéric Cuppens
ISBN: 9783540452997 3540452990
OCLC Number: 139136494
Description: 1 online resource (323 pages) : illustrations.
Contents: Personal Devices and Smart Cards --
Checking Secure Interactions of Smart Card Applets --
Verification of a Formal Security Model for Multiapplicative Smart Cards --
How Much Negotiation and Detail Can Users Handle? Experiences with Security Negotiation and the Granularity of Access Control in Communications --
Electronic Commerce Protocols --
Secure Anonymous Signature-Based Transactions --
Metering Schemes for General Access Structures --
Access Control --
A Typed Access Control Model for CORBA --
Safety Analysis of the Dynamic-Typed Access Matrix Model --
A Formal Model for Role-Based Access Control Using Graph Transformation --
Protocol Verification --
A Formal Semantics for SPKI --
Formal Verification of Cardholder Registration in SET --
Automating Data Independence --
Internet Security --
Finding a Connection Chain for Tracing Intruders --
A Full Bandwidth ATM Firewall --
Security Property Analysis --
Analysing Time Dependent Security Properties in CSP Using PVS --
Unwinding Possibilistic Security Properties --
Authentication and Confidentiality via IPsec --
Mobile Agents --
A Security Framework for a Mobile Agent System --
A Distributed Access Control Model for Java --
Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code.
Series Title: Lecture notes in computer science, 1895.
Responsibility: Frédéric Cuppens [and others] (eds.).

Abstract:

his book presents the refereed proceedings of the 6th European Symposium on Research in Computer Security, ESORICS 2000, held in Toulouse, France in October 2000.The 19 revised full papers presented  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/139136494> # Computer security--ESORICS 2000 : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
   library:oclcnum "139136494" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/891060025#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://id.worldcat.org/fast/872484> ; # Computer security
   schema:about <http://experiment.worldcat.org/entity/work/data/891060025#Topic/computer_security> ; # Computer security
   schema:about <http://dewey.info/class/005.8/e21/> ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/72270938> ; # Frédéric Cuppens
   schema:creator <http://experiment.worldcat.org/entity/work/data/891060025#Meeting/european_symposium_on_research_in_computer_security_6th_2000_toulouse_france> ; # European Symposium on Research in Computer Security (6th : 2000 : Toulouse, France)
   schema:datePublished "2000" ;
   schema:description "Personal Devices and Smart Cards -- Checking Secure Interactions of Smart Card Applets -- Verification of a Formal Security Model for Multiapplicative Smart Cards -- How Much Negotiation and Detail Can Users Handle? Experiences with Security Negotiation and the Granularity of Access Control in Communications -- Electronic Commerce Protocols -- Secure Anonymous Signature-Based Transactions -- Metering Schemes for General Access Structures -- Access Control -- A Typed Access Control Model for CORBA -- Safety Analysis of the Dynamic-Typed Access Matrix Model -- A Formal Model for Role-Based Access Control Using Graph Transformation -- Protocol Verification -- A Formal Semantics for SPKI -- Formal Verification of Cardholder Registration in SET -- Automating Data Independence -- Internet Security -- Finding a Connection Chain for Tracing Intruders -- A Full Bandwidth ATM Firewall -- Security Property Analysis -- Analysing Time Dependent Security Properties in CSP Using PVS -- Unwinding Possibilistic Security Properties -- Authentication and Confidentiality via IPsec -- Mobile Agents -- A Security Framework for a Mobile Agent System -- A Distributed Access Control Model for Java -- Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code."@en ;
   schema:description "His book presents the refereed proceedings of the 6th European Symposium on Research in Computer Security, ESORICS 2000, held in Toulouse, France in October 2000. The 19 revised full papers presented were carefully reviewed and selected from a total of 75 submissions. The papers are organized in sections on personal devices and smart cards, electronic commerce protocols, access control, protocol verification, Internet security, security property analysis, and mobile agents."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/891060025> ;
   schema:genre "Electronic books"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/891060025#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/44818426> ;
   schema:name "Computer security--ESORICS 2000 : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings"@en ;
   schema:productID "139136494" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/139136494#PublicationEvent/berlin_new_york_springer_2000> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/891060025#Agent/springer> ; # Springer
   schema:url <http://link.springer.com/10.1007/10722599> ;
   schema:url <http://rave.ohiolink.edu/ebooks/ebc/10722599> ;
   schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=1895> ;
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-41031-7> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-41031-7> ;
   schema:url <http://dx.doi.org/10.1007/10722599> ;
   schema:workExample <http://worldcat.org/isbn/9783540452997> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/139136494> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/891060025#Meeting/european_symposium_on_research_in_computer_security_6th_2000_toulouse_france> # European Symposium on Research in Computer Security (6th : 2000 : Toulouse, France)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/891060025#Place/toulouse_france> ; # Toulouse, France)
   schema:name "European Symposium on Research in Computer Security (6th : 2000 : Toulouse, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/891060025#Place/toulouse_france> # Toulouse, France)
    a schema:Place ;
   schema:name "Toulouse, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/891060025#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/139136494> ; # Computer security--ESORICS 2000 : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings
   schema:name "Lecture notes in computer science ;" ;
    .

<http://id.worldcat.org/fast/872484> # Computer security
    a schema:Intangible ;
   schema:name "Computer security"@en ;
    .

<http://viaf.org/viaf/72270938> # Frédéric Cuppens
    a schema:Person ;
   schema:familyName "Cuppens" ;
   schema:givenName "Frédéric" ;
   schema:name "Frédéric Cuppens" ;
    .

<http://worldcat.org/isbn/9783540452997>
    a schema:ProductModel ;
   schema:isbn "3540452990" ;
   schema:isbn "9783540452997" ;
    .

<http://www.worldcat.org/oclc/44818426>
    a schema:CreativeWork ;
   rdfs:label "Computer security--ESORICS 2000." ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/139136494> ; # Computer security--ESORICS 2000 : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/139136494>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/139136494> ; # Computer security--ESORICS 2000 : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings
   schema:dateModified "2018-03-11" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.