Kooperativer Bibliotheksverbund

UID:

Umfang: XI, 470 S.

ISBN: 3-540-00708-3

Serie: Lecture notes in computer science 2609

Sprache: Englisch

Schlagwort(e): Computersicherheit ; Rechnernetz ; Personal Computer ; Personal Computer ; Softwareschutz ; Rechnernetz ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift

URL: Cover

URL: Inhaltstext

UID:

Umfang: XI, 470 Seiten , Ill., graph. Darst. , 24 cm

ISBN: 3540007083 , 3540007083

Serie: Lecture notes in computer science 2609

Anmerkung: Literaturangaben , Text engl.

Sprache: Englisch

Schlagwort(e): Softwaresystem ; Zuverlässigkeit ; Datensicherung ; Kongress ; Tokio 〈2002〉 ; Softwareschutz ; Kongress ; Tokio 〈2002〉 ; Ubiquitous Computing ; Authentifikation ; Zugriffskontrolle ; Datensicherung ; Kongress ; Tokio 〈2002〉 ; Kommunikationsprotokoll ; Datensicherung ; Kongress ; Tokio 〈2002〉 ; Kongress ; Konferenzschrift

UID:

Umfang: Online-Ressource (XII, 476 p) , digital

Ausgabe: Reproduktion Springer eBook Collection. Computer Science

ISBN: 9783540365327 , 3540007083

Serie: Lecture Notes in Computer Science 2609

Inhalt: For more than the last three decades, the security of software systems has been an important area of computer science, yet it is a rather recent general recognition that technologies for software security are highly needed. This book assesses the state of the art in software and systems security by presenting a carefully arranged selection of revised invited and reviewed papers. It covers basic aspects and recently developed topics such as security of pervasive computing, peer-to-peer systems and autonomous distributed agents, secure software circulation, compilers for fail-safe C language, construction of secure mail systems, type systems and multiset rewriting systems for security protocols, and privacy issues as well

Anmerkung: Includes bibliographical references

Weitere Ausg.: ISBN 9783540007081

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9783662183113

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9783540007081

Sprache: Englisch

Schlagwort(e): Computersicherheit ; Rechnernetz ; Personal Computer ; Personal Computer ; Softwareschutz ; Rechnernetz ; Konferenzschrift

DOI: 10.1007/3-540-36532-X

URL: lizenzpflichtig

URL: Volltext  (lizenzpflichtig)

URL: Volltext

URL: Inhaltstext

Mehr zum Autor: Okada, Mitsuhiro 1954-

UID:

Umfang: XII, 476 p. , online resource.

ISBN: 9783540365327

Serie: Lecture Notes in Computer Science, 2609

Inhalt: For more than the last three decades, the security of software systems has been an important area of computer science, yet it is a rather recent general recognition that technologies for software security are highly needed. This book assesses the state of the art in software and systems security by presenting a carefully arranged selection of revised invited and reviewed papers. It covers basic aspects and recently developed topics such as security of pervasive computing, peer-to-peer systems and autonomous distributed agents, secure software circulation, compilers for fail-safe C language, construction of secure mail systems, type systems and multiset rewriting systems for security protocols, and privacy issues as well.

Anmerkung: 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.

In: Springer eBooks

Weitere Ausg.: Printed edition: ISBN 9783540007081

Sprache: Englisch

DOI: 10.1007/3-540-36532-X

URL: http://dx.doi.org/10.1007/3-540-36532-X

UID:

Umfang: XII, 476 p. , online resource.

Ausgabe: 1st ed. 2003.

ISBN: 9783540365327

Serie: Lecture Notes in Computer Science, 2609

Inhalt: For more than the last three decades, the security of software systems has been an important area of computer science, yet it is a rather recent general recognition that technologies for software security are highly needed. This book assesses the state of the art in software and systems security by presenting a carefully arranged selection of revised invited and reviewed papers. It covers basic aspects and recently developed topics such as security of pervasive computing, peer-to-peer systems and autonomous distributed agents, secure software circulation, compilers for fail-safe C language, construction of secure mail systems, type systems and multiset rewriting systems for security protocols, and privacy issues as well.

Anmerkung: 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.

In: Springer Nature eBook

Weitere Ausg.: Printed edition: ISBN 9783662183113

Weitere Ausg.: Printed edition: ISBN 9783540007081

Sprache: Englisch

DOI: 10.1007/3-540-36532-X

URL: https://doi.org/10.1007/3-540-36532-X