Vor Ort
Merkzettel Warenkorb
  • Produktbild: Computer Security - ESORICS 2000
  • Produktbild: Computer Security - ESORICS 2000
Band 1895

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

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.09.2000

Herausgeber

Frederic Cuppens + weitere

Verlag

Springer Berlin

Seitenzahl

330

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

517 g

Auflage

2000

Sprache

Englisch

ISBN

978-3-540-41031-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.09.2000

Herausgeber

Verlag

Springer Berlin

Seitenzahl

330

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

517 g

Auflage

2000

Sprache

Englisch

ISBN

978-3-540-41031-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Computer Security - ESORICS 2000
  • Produktbild: Computer Security - ESORICS 2000
  • 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.