Atnaujinkite slapukų nuostatas

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

Edited by , Edited by , Edited by , Edited by , Edited by
  • Formatas: PDF+DRM
  • Serija: Lecture Notes in Computer Science 2609
  • Išleidimo metai: 02-Aug-2003
  • Leidėjas: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Kalba: eng
  • ISBN-13: 9783540365327
Kitos knygos pagal šią temą:
Software Security -- Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised PapersDidesnis paveikslėlis
  • Formatas: PDF+DRM
  • Serija: Lecture Notes in Computer Science 2609
  • Išleidimo metai: 02-Aug-2003
  • Leidėjas: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Kalba: eng
  • ISBN-13: 9783540365327
Kitos knygos pagal šią temą:

DRM apribojimai

  • Kopijuoti:

    neleidžiama

  • Spausdinti:

    neleidžiama

  • El. knygos naudojimas:

    Skaitmeninių teisių valdymas (DRM)
    Leidykla pateikė šią knygą šifruota forma, o tai reiškia, kad norint ją atrakinti ir perskaityti reikia įdiegti nemokamą programinę įrangą. Norint skaityti šią el. knygą, turite susikurti Adobe ID . Daugiau informacijos  čia. El. knygą galima atsisiųsti į 6 įrenginius (vienas vartotojas su tuo pačiu Adobe ID).

    Reikalinga programinė įranga
    Norint skaityti šią el. knygą mobiliajame įrenginyje (telefone ar planšetiniame kompiuteryje), turite įdiegti šią nemokamą programėlę: PocketBook Reader (iOS / Android)

    Norint skaityti šią el. knygą asmeniniame arba „Mac“ kompiuteryje, Jums reikalinga  Adobe Digital Editions “ (tai nemokama programa, specialiai sukurta el. knygoms. Tai nėra tas pats, kas „Adobe Reader“, kurią tikriausiai jau turite savo kompiuteryje.)

    Negalite skaityti šios el. knygos naudodami „Amazon Kindle“.

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.

Daugiau informacijos

Springer Book Archives
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 Secureand 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.
Daugiau apie elektronines knygas Daugiau apie elektronines knygas
Pastovi nuoroda: https://www.kriso.lt/db/97835403653272e.html
Raktažodžiai: