Ditapis dengan
Cryptography and Coding
Invited Papers -- Abstract Models of Computation in Cryptography -- Pairing-Based Cryptography at High Security Levels -- Improved Decoding of Interleaved AG Codes -- Coding Theory -- Performance Improvement of Turbo Code Based on the Extrinsic Information Transition Characteristics -- A Trellis-Based Bound on (2,1)-Separating Codes -- Tessellation Based Multiple Description Coding -- Exploitin…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540324188
- Deskripsi Fisik
- XII, 468 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Cryptographic Hardware and Embedded Systems - CHES 2005
Side Channels I -- Resistance of Randomized Projective Coordinates Against Power Analysis -- Templates as Master Keys -- A Stochastic Model for Differential Side Channel Cryptanalysis -- Arithmetic for Cryptanalysis -- A New Baby-Step Giant-Step Algorithm and Some Applications to Cryptanalysis -- Further Hidden Markov Model Cryptanalysis -- Low Resources -- Energy-Efficient Software Implementat…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319405
- Deskripsi Fisik
- XIV, 458 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Mobile Resource Guarantees for Smart Devices -- History-Based Access Control and Secure Information Flow -- The Spec# Programming System: An Overview -- Mastering Test Generation from Smart Card Software Formal Models -- A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices -- ESC/Java2: Uniting ESC/Java and JML -- A Type System for Checking Applet Isolation…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305699
- Deskripsi Fisik
- IX, 258 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Viruses: from theory to applications
Genesis and Theory of Computer Viruses -- The Formalization Foundations: from Turing to von Neumann (1936 – 1967) -- F. Cohen and L. Adleman’s Formalization (1984 – 1989) -- Taxonomy, Techniques and Tools -- Fighting Against Viruses -- Learning Computer Viruses by Programming -- Computer Viruses in Interpreted Programming Language -- Companion Viruses -- Worms -- Computer Viruses and Appl…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9782287280993
- Deskripsi Fisik
- XXIV, 400 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Security in the 21st Century
Security Protocol Design -- Challenges in Protocol Design and Analysis -- Private Matching -- Authentication Protocol Analysis -- Self-Certified Approach for Authenticated Key Agreement -- P2P and Ad Hoc Networks -- Experimenting with Admission Control in P2P Networks -- Adaptive Random Key Distribution Schemes for Wireless Sensor Networks -- Intrusion Detection, Defense, Measurement -- Measuri…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387240060
- Deskripsi Fisik
- XII, 268 p. 77 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Security - ESORICS 2005
Computerized Voting Machines: A View from the Trenches -- XML Access Control with Policy Matching Tree -- Semantic Access Control Model: A Formal Specification -- A Generic XACML Based Declarative Authorization Scheme for Java -- Specification and Validation of Authorisation Constraints Using UML and OCL -- Unified Index for Mobile Object Data and Authorizations -- On Obligations -- A Practical…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319818
- Deskripsi Fisik
- XII, 516 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Network Security
Invited Papers -- Self-managed Cells for Ubiquitous Systems -- Critical Information Assurance Challenges for Modern Large-Scale Infrastructures -- Rule-Based Topological Vulnerability Analysis -- Models and Analysis of Active Worm Defense -- Prevention of Information Attacks by Run-Time Detection of Self-replication in Computer Codes -- Mathematical Models, Architectures and Protocols for Compu…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319986
- Deskripsi Fisik
- XIV, 482 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Insecurity
The Problem of Computer Insecurity -- The Need to Raise Awareness -- Common Failings That Compromise Security -- The Widespread Nature of Vulnerability -- Attack and Exploitation of Systems -- External Influences and Dependencies -- Insecurity: Here Today, Here Tomorrow?.Security is one of the most significant issues facing the owners and users of computer systems in the Internet age, and recen…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846282706
- Deskripsi Fisik
- XIII, 240 p. 30 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Foundations of Security Analysis and Design III
FOSAD 2004 (6-11 September 2004) -- Justifying a Dolev-Yao Model Under Active Attacks -- Model-Based Security Engineering with UML -- A Tutorial on Physical Security and Side-Channel Attacks -- Static Analysis of Authentication -- FOSAD 2005 (19-24 September 2005) -- Formal Methods for Smartcard Security -- Privacy-Preserving Database Systems -- Intrusion Detection: Introduction to Intrusion De…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319368
- Deskripsi Fisik
- VIII, 276 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Net-Centric Approaches to Intelligence and National Security
Ontologies for the Semantic Web -- Web Services Overview for Net-Centric Operations -- Metadata Concepts to Support a Net-Centric Data Environment -- Distributed Geospatial Intelligence Integration and Interoperability Through the Gidb® Portal System -- Analyzing Intelligence Data -- Linking Military Systems with Simulations and Intelligent Agents Through Web Services to Support Courses of Act…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387261768
- Deskripsi Fisik
- X, 178 p. 55 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah