Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Computer security-ESORICS 2007 : 12th European Symposium on Research in Computer Security, Dresden, Germany, September 24-26, 2007 : proceedings / / Joachim Biskup, Javier López (editors)
| Computer security-ESORICS 2007 : 12th European Symposium on Research in Computer Security, Dresden, Germany, September 24-26, 2007 : proceedings / / Joachim Biskup, Javier López (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XIV, 628 p.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico | Computer security |
| ISBN | 3-540-74835-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lecture -- Trustworthy Services and the Biological Analogy -- Security Architecture and Secure Components I -- Security of Multithreaded Programs by Compilation -- Efficient Proving for Practical Distributed Access-Control Systems -- Maintaining High Performance Communication Under Least Privilege Using Dynamic Perimeter Control -- Access Control I -- Pragmatic XML Access Control Using Off-the-Shelf RDBMS -- Conditional Privacy-Aware Role Based Access Control -- Satisfiability and Resiliency in Workflow Systems -- Applied Cryptography I -- Completeness of the Authentication Tests -- SilentKnock: Practical, Provably Undetectable Authentication -- Generalized Key Delegation for Hierarchical Identity-Based Encryption -- Change-Impact Analysis of Firewall Policies -- Fragmentation and Encryption to Enforce Privacy in Data Storage -- Information Confinement, Privacy, and Security in RFID Systems -- Formal Methods in Security I -- A Logic for State-Modifying Authorization Policies -- Inductive Proofs of Computational Secrecy -- What, Indeed, Is Intransitive Noninterference? -- Traceability and Integrity of Execution in Distributed Workflow Management Systems -- Dynamic Information Flow Control Architecture for Web Applications -- Cloak: A Ten-Fold Way for Reliable Covert Communications -- Applied Cryptography II -- Efficient Password-Based Authenticated Key Exchange Without Public Information -- Improved Anonymous Timed-Release Encryption -- Encryption Techniques for Secure Database Outsourcing -- Access Control II -- Click Passwords Under Investigation -- Graphical Password Authentication Using Cued Click Points -- Obligations and Their Interaction with Programs -- Applied Cryptography III -- On the Privacy of Concealed Data Aggregation -- Synthesizing Secure Protocols -- A Cryptographic Model for Branching Time Security Properties – The Case of Contract Signing Protocols -- Security Architecture and Secure Components II -- Security Evaluation of Scenarios Based on the TCG’s TPM Specification -- Analyzing Side Channel Leakage of Masked Implementations with Stochastic Methods -- Insider Attacks Enabling Data Broadcasting on Crypto-Enforced Unicast Links -- Towards Modeling Trust Based Decisions: A Game Theoretic Approach -- Extending the Common Services of eduGAIN with a Credential Conversion Service -- Incorporating Temporal Capabilities in Existing Key Management Schemes -- A Policy Language for Distributed Usage Control -- Countering Statistical Disclosure with Receiver-Bound Cover Traffic -- Renewable Traitor Tracing: A Trace-Revoke-Trace System For Anonymous Attack -- Formal Methods in Security III -- Modular Access Control Via Strategic Rewriting -- On the Automated Correction of Security Protocols Susceptible to a Replay Attack -- Adaptive Soundness of Static Equivalence. |
| Record Nr. | UNISA-996466104903316 |
| Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer security-ESORICS 2007 : 12th European Symposium on Research in Computer Security, Dresden, Germany, September 24-26, 2007 : proceedings / / Joachim Biskup, Javier López (editors)
| Computer security-ESORICS 2007 : 12th European Symposium on Research in Computer Security, Dresden, Germany, September 24-26, 2007 : proceedings / / Joachim Biskup, Javier López (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XIV, 628 p.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico | Computer security |
| ISBN | 3-540-74835-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lecture -- Trustworthy Services and the Biological Analogy -- Security Architecture and Secure Components I -- Security of Multithreaded Programs by Compilation -- Efficient Proving for Practical Distributed Access-Control Systems -- Maintaining High Performance Communication Under Least Privilege Using Dynamic Perimeter Control -- Access Control I -- Pragmatic XML Access Control Using Off-the-Shelf RDBMS -- Conditional Privacy-Aware Role Based Access Control -- Satisfiability and Resiliency in Workflow Systems -- Applied Cryptography I -- Completeness of the Authentication Tests -- SilentKnock: Practical, Provably Undetectable Authentication -- Generalized Key Delegation for Hierarchical Identity-Based Encryption -- Change-Impact Analysis of Firewall Policies -- Fragmentation and Encryption to Enforce Privacy in Data Storage -- Information Confinement, Privacy, and Security in RFID Systems -- Formal Methods in Security I -- A Logic for State-Modifying Authorization Policies -- Inductive Proofs of Computational Secrecy -- What, Indeed, Is Intransitive Noninterference? -- Traceability and Integrity of Execution in Distributed Workflow Management Systems -- Dynamic Information Flow Control Architecture for Web Applications -- Cloak: A Ten-Fold Way for Reliable Covert Communications -- Applied Cryptography II -- Efficient Password-Based Authenticated Key Exchange Without Public Information -- Improved Anonymous Timed-Release Encryption -- Encryption Techniques for Secure Database Outsourcing -- Access Control II -- Click Passwords Under Investigation -- Graphical Password Authentication Using Cued Click Points -- Obligations and Their Interaction with Programs -- Applied Cryptography III -- On the Privacy of Concealed Data Aggregation -- Synthesizing Secure Protocols -- A Cryptographic Model for Branching Time Security Properties – The Case of Contract Signing Protocols -- Security Architecture and Secure Components II -- Security Evaluation of Scenarios Based on the TCG’s TPM Specification -- Analyzing Side Channel Leakage of Masked Implementations with Stochastic Methods -- Insider Attacks Enabling Data Broadcasting on Crypto-Enforced Unicast Links -- Towards Modeling Trust Based Decisions: A Game Theoretic Approach -- Extending the Common Services of eduGAIN with a Credential Conversion Service -- Incorporating Temporal Capabilities in Existing Key Management Schemes -- A Policy Language for Distributed Usage Control -- Countering Statistical Disclosure with Receiver-Bound Cover Traffic -- Renewable Traitor Tracing: A Trace-Revoke-Trace System For Anonymous Attack -- Formal Methods in Security III -- Modular Access Control Via Strategic Rewriting -- On the Automated Correction of Security Protocols Susceptible to a Replay Attack -- Adaptive Soundness of Static Equivalence. |
| Record Nr. | UNINA-9910484990603321 |
| Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Critical Information Infrastructures Security [[electronic resource] ] : First International Workshop, CRITIS 2006, Samos Island, Greece, August 31 - September 1, 2006 / / by Javier Lopez
| Critical Information Infrastructures Security [[electronic resource] ] : First International Workshop, CRITIS 2006, Samos Island, Greece, August 31 - September 1, 2006 / / by Javier Lopez |
| Autore | López Javier (Javier López-Muñoz) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 285 p.) |
| Disciplina | 005.8 |
| Altri autori (Persone) | LópezJavier |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Data encryption (Computer science)
Computer communication systems Computer security Algorithms Management information systems Computer science Computers and civilization Cryptology Computer Communication Networks Systems and Data Security Algorithm Analysis and Problem Complexity Management of Computing and Information Systems Computers and Society |
| ISBN | 3-540-69084-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture -- Experiment Based Validation of CIIP -- Security Requirements Model for Grid Data Management Systems -- Assessing the Risk of an Information Infrastructure Through Security Dependencies -- Modelling Risk and Identifying Countermeasure in Organizations -- Modelling and Analysing Network Security Policies in a Given Vulnerability Setting -- A Framework for Conceptualizing Social Engineering Attacks -- An Overview of R&D Activities in Europe on Critical Information Infrastructure Protection (CIIP) -- Intelligent Network-Based Early Warning Systems -- Can an Early Warning System for Home Users and SMEs Make a Difference? A Field Study -- Protection of Components Based on a Smart-Card Enhanced Security Module -- Revisiting Colored Networks and Privacy Preserving Censorship -- PROSEARCH: A Protocol to Simplify Path Discovery in Critical Scenarios -- Applying Key Infrastructures for Sensor Networks in CIP/CIIP Scenarios -- Trust Establishment in Ad Hoc and Sensor Networks -- Enforcing Trust in Pervasive Computing with Trusted Computing Technology -- Proposals on Assessment Environments for Anomaly-Based Network Intrusion Detection Systems -- High-Speed Intrusion Detection in Support of Critical Infrastructure Protection -- Rational Choice of Security Measures Via Multi-parameter Attack Trees -- Multidomain Virtual Security Negotiation over the Session Initiation Protocol (SIP) -- Vulnerabilities and Possible Attacks Against the GPRS Backbone Network -- A Framework for Secure and Verifiable Logging in Public Communication Networks. |
| Record Nr. | UNISA-996466242203316 |
López Javier (Javier López-Muñoz)
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Wireless sensor network security [[electronic resource] /] / edited by Javier Lopez and Jianying Zhou
| Wireless sensor network security [[electronic resource] /] / edited by Javier Lopez and Jianying Zhou |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2008 |
| Descrizione fisica | 1 online resource (320 p.) |
| Disciplina | 681/.2 |
| Altri autori (Persone) |
LópezJavier
ZhouJianying |
| Collana | Cryptology and information security series |
| Soggetto topico |
Sensor networks - Security measures
Detectors - Security measures |
| Soggetto genere / forma | Electronic books. |
| ISBN |
6611733728
1-281-73372-5 9786611733728 1-4356-7867-2 1-60750-293-3 600-00-0606-3 1-4337-1227-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title page; Contents; Overview of Wireless Sensor Network Security; Vulnerabilities and Attacks in Wireless Sensor Networks; Symmetric Primitives; Public-Key Primitives; Key Management in Wireless Sensor Networks; WSN Link-Layer Security Frameworks; Secure Routing in Wireless Sensor Networks; Secure Data Aggregation in Wireless Sensor Networks; Privacy Protection Mechanisms for Sensor Networks; Intrusion Detection Techniques in Sensor Networks; Remote Attestation - Identification; On the Hardware Implementation Efficiency of Cryptographic Primitives; Author Index |
| Record Nr. | UNINA-9910453006803321 |
| Amsterdam ; ; Washington, D.C., : IOS Press, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Wireless sensor network security [[electronic resource] /] / edited by Javier Lopez and Jianying Zhou
| Wireless sensor network security [[electronic resource] /] / edited by Javier Lopez and Jianying Zhou |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2008 |
| Descrizione fisica | 1 online resource (320 p.) |
| Disciplina | 681/.2 |
| Altri autori (Persone) |
LópezJavier
ZhouJianying |
| Collana | Cryptology and information security series |
| Soggetto topico |
Sensor networks - Security measures
Detectors - Security measures |
| ISBN |
6611733728
1-281-73372-5 9786611733728 1-4356-7867-2 1-60750-293-3 600-00-0606-3 1-4337-1227-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Title page; Contents; Overview of Wireless Sensor Network Security; Vulnerabilities and Attacks in Wireless Sensor Networks; Symmetric Primitives; Public-Key Primitives; Key Management in Wireless Sensor Networks; WSN Link-Layer Security Frameworks; Secure Routing in Wireless Sensor Networks; Secure Data Aggregation in Wireless Sensor Networks; Privacy Protection Mechanisms for Sensor Networks; Intrusion Detection Techniques in Sensor Networks; Remote Attestation - Identification; On the Hardware Implementation Efficiency of Cryptographic Primitives; Author Index |
| Record Nr. | UNINA-9910782349803321 |
| Amsterdam ; ; Washington, D.C., : IOS Press, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||