KI-Beratung Beta
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

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.09.2000

Abbildungen

X, 330 p.

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

Abbildungen

X, 330 p.

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: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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.