Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Software Security -- Theories and Systems
  • Produktbild: Software Security -- Theories and Systems
Band 2609

Software Security -- Theories and Systems Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

Aus der Reihe Lecture Notes in Computer Science

Fr. 73.90

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.02.2003

Herausgeber

Mitsuhiro Okada + weitere

Verlag

Springer Berlin

Seitenzahl

476

Maße (L/B/H)

23.5/15.5/2.7 cm

Gewicht

680 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-00708-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.02.2003

Herausgeber

Verlag

Springer Berlin

Seitenzahl

476

Maße (L/B/H)

23.5/15.5/2.7 cm

Gewicht

680 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-00708-1

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Software Security -- Theories and Systems
  • Produktbild: Software Security -- Theories and Systems
  • Security for Pervasive Computing.- Towards Security and Privacy for Pervasive Computing.- Security for Whom? The Shifting Security Assumptions of Pervasive Computing.- Active Authentication for Pervasive Computing Environments.- Security for P2P Systems and Autonomous Distributed Agents.- A Survey of Peer-to-Peer Security Issues.- Autonomous Nodes and Distributed Mechanisms.- Privacy Issues.- Privacy in Sensor Webs and Distributed Information Systems.- Negotiated Privacy.- Secure Software Circulation and Secure C Language.- SoftwarePot: An Encapsulated Transferable File System for Secure Software Circulation.- Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure Progress Report.- Securing Programs by Rewriting and Sandboxing.- Types and Effects for Non-interfering Program Monitors.- Flexible and Efficient Sandboxing Based on Fine-Grained Protection Domains.- Enforcing Java Run-Time Properties Using Bytecode Rewriting.- Secure Mail System Construction.- AnZenMail: A Secure and Certified E-mail System.- Formalization and Verification of a Mail Server in Coq.- Some Security Systems.- Design and Implementation of Security System Based on Immune System.- Design and Implementation of Access Control System for Smart Office Environment.- Proof-Carrying Code and Type Systems for Security Protocols.- Typing One-to-One and One-to-Many Correspondences in Security Protocols.- Proof-Carrying Code with Untrusted Proof Rules.- Authentication Protocols.- Verification of Authentication Protocols Based on the Binding Relation.- Hiding Names: Private Authentication in the Applied Pi Calculus.- Environmental Requirements for Authentication Protocols.- Multiset Rewriting for Protocol Analysis.- A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis.- Data Access Specification and the Most Powerful Symbolic Attacker in MSR.- Verification Methods and Tools.- A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic.- Formal Analysis of the iKP Electronic Payment Protocols.- CafeOBJ as a Tool for Behavioral System Verification.