05191nam 22008175 450 99646615290331620200701065247.03-540-45299-010.1007/10722599(CKB)1000000000548806(SSID)ssj0000322134(PQKBManifestationID)11247760(PQKBTitleCode)TC0000322134(PQKBWorkID)10283248(PQKB)10828657(DE-He213)978-3-540-45299-7(MiAaPQ)EBC3088743(PPN)155236601(EXLCZ)99100000000054880620121227d2000 u| 0engurnn|008mamaatxtccrComputer Security - ESORICS 2000[electronic resource] 6th European Symposium on Research in Computer Security Toulouse, France, October 4-6, 2000 Proceedings /edited by Frederic Cuppens, Yves Deswarte, Dieter Gollmann, Michael Waidner1st ed. 2000.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2000.1 online resource (X, 330 p.) Lecture Notes in Computer Science,0302-9743 ;1895Bibliographic Level Mode of Issuance: Monograph3-540-41031-7 Includes bibliographical references at the end of each chapters and index.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.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.Lecture Notes in Computer Science,0302-9743 ;1895Computer communication systemsOperating systems (Computers)Data encryption (Computer science)Computer logicManagement information systemsComputer scienceComputer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14045Cryptologyhttps://scigraph.springernature.com/ontologies/product-market-codes/I28020Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XManagement of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Computer communication systems.Operating systems (Computers).Data encryption (Computer science).Computer logic.Management information systems.Computer science.Computer Communication Networks.Operating Systems.Cryptology.Logics and Meanings of Programs.Management of Computing and Information Systems.005.8Cuppens Fredericedthttp://id.loc.gov/vocabulary/relators/edtDeswarte Yvesedthttp://id.loc.gov/vocabulary/relators/edtGollmann Dieteredthttp://id.loc.gov/vocabulary/relators/edtWaidner Michaeledthttp://id.loc.gov/vocabulary/relators/edtEuropean Symposium on Research in Computer SecurityMiAaPQMiAaPQMiAaPQBOOK996466152903316Computer Security - ESORICS 20002158504UNISA