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.
Collaborative Approaches for Cyber Security in Cyber-Physical Systems [[electronic resource] /] / edited by Theo Dimitrakos, Javier Lopez, Fabio Martinelli
| Collaborative Approaches for Cyber Security in Cyber-Physical Systems [[electronic resource] /] / edited by Theo Dimitrakos, Javier Lopez, Fabio Martinelli |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (XII, 226 p. 65 illus., 48 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Advanced Sciences and Technologies for Security Applications |
| Soggetto topico |
Data protection
Computer crimes Business information services Security systems Data and Information Security Cybercrime IT in Business Security Science and Technology |
| ISBN | 3-031-16088-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Collaborative and confidential architectures for information sharing and analytics -- 2. Secure Interconnection of large-scale CPS-based frameworks and middleware -- 3. Virtualized security-awareness systems and digital twins -- 4. Empirical evaluation of system vulnerabilities -- 5. Collaborative physical and cyber defense requirements -- 6. Heterogeneous data centric security policies specification and enforcement -- 7. Big data for anomaly and advanced threats detection -- 8. Collaborative identification and ranking of malware -- 9. Visual analytics techniques for cyber security -- 10. Collaborative mitigation methodologies against advanced and persistent attacks. |
| Record Nr. | UNISA-996547960403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Collaborative Approaches for Cyber Security in Cyber-Physical Systems / / edited by Theo Dimitrakos, Javier Lopez, Fabio Martinelli
| Collaborative Approaches for Cyber Security in Cyber-Physical Systems / / edited by Theo Dimitrakos, Javier Lopez, Fabio Martinelli |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (XII, 226 p. 65 illus., 48 illus. in color.) |
| Disciplina |
005.8
006.22 |
| Collana | Advanced Sciences and Technologies for Security Applications |
| Soggetto topico |
Data protection
Computer crimes Business information services Security systems Data and Information Security Cybercrime IT in Business Security Science and Technology Objectes cooperants (Sistemes informàtics) Seguretat informàtica |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-031-16088-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Collaborative and confidential architectures for information sharing and analytics -- 2. Secure Interconnection of large-scale CPS-based frameworks and middleware -- 3. Virtualized security-awareness systems and digital twins -- 4. Empirical evaluation of system vulnerabilities -- 5. Collaborative physical and cyber defense requirements -- 6. Heterogeneous data centric security policies specification and enforcement -- 7. Big data for anomaly and advanced threats detection -- 8. Collaborative identification and ranking of malware -- 9. Visual analytics techniques for cyber security -- 10. Collaborative mitigation methodologies against advanced and persistent attacks. |
| Record Nr. | UNINA-9910639892803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Security [[electronic resource] ] : 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part I / / edited by Javier Lopez, Jianying Zhou, Miguel Soriano
| Computer Security [[electronic resource] ] : 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part I / / edited by Javier Lopez, Jianying Zhou, Miguel Soriano |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIX, 621 p. 136 illus.) |
| Disciplina | 004 |
| Collana | Security and Cryptology |
| Soggetto topico |
Seguridad informática
Criptografía Computers and civilization Computers Law and legislation Computer organization Systems and Data Security Cryptology Computers and Society Legal Aspects of Computing Computer Systems Organization and Communication Networks Information Systems and Communication Service |
| ISBN | 3-319-99073-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Software security -- Blockchain & machine Learning -- Hardware security -- Attacks -- Malware & vulnerabilities -- Protocol security -- Privacy (I) -- CPS and IoT security -- Mobile security -- Database & web security -- Cloud security -- Applied crypto (I) -- Privacy (II) -- Multi-party computation -- SDN security -- Applied crypto (II). |
| Record Nr. | UNISA-996466456103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Security [[electronic resource] ] : 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part II / / edited by Javier Lopez, Jianying Zhou, Miguel Soriano
| Computer Security [[electronic resource] ] : 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part II / / edited by Javier Lopez, Jianying Zhou, Miguel Soriano |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIX, 571 p. 104 illus.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Seguridad informática
Criptografía Computers and civilization Computers Law and legislation Computer organization Systems and Data Security Cryptology Computers and Society Legal Aspects of Computing Computer Systems Organization and Communication Networks Information Systems and Communication Service |
| ISBN | 3-319-98989-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Software security -- Blockchain & machine Learning -- Hardware security -- Attacks -- Malware & vulnerabilities -- Protocol security -- Privacy (I) -- CPS and IoT security -- Mobile security -- Database & web security -- Cloud security -- Applied crypto (I) -- Privacy (II) -- Multi-party computation -- SDN security -- Applied crypto (II). |
| Record Nr. | UNISA-996466322503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| 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 / / edited by Joachim Biskup
| Computer Security - ESORICS 2007 : 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24 - 26, 2007, Proceedings / / edited by Joachim Biskup |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XIV, 628 p.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Cryptography
Data encryption (Computer science) Operating systems (Computers) Computer networks Database management Electronic data processing - Management Computers and civilization Cryptology Operating Systems Computer Communication Networks Database Management IT Operations Computers and Society |
| 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 : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Critical Infrastructure Protection [[electronic resource] ] : Advances in Critical Infrastructure Protection: Information Infrastructure Models, Analysis, and Defense / / edited by Javier Lopez, Roberto Setola, Stephen Wolthusen
| Critical Infrastructure Protection [[electronic resource] ] : Advances in Critical Infrastructure Protection: Information Infrastructure Models, Analysis, and Defense / / edited by Javier Lopez, Roberto Setola, Stephen Wolthusen |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XIV, 357 p.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer security
Management information systems Computer science Data encryption (Computer science) Computers and civilization Algorithms Application software Systems and Data Security Management of Computing and Information Systems Cryptology Computers and Society Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) |
| ISBN | 3-642-28920-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466252903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Critical Information Infrastructures Security : First International Workshop, CRITIS 2006, Samos Island, Greece, August 31 - September 1, 2006 / / by Javier Lopez
| Critical Information Infrastructures Security : First International Workshop, CRITIS 2006, Samos Island, Greece, August 31 - September 1, 2006 / / by Javier Lopez |
| 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) | LopezJavier |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Cryptography
Data encryption (Computer science) Computer networks Data protection Algorithms Electronic data processing - Management Computers and civilization Cryptology Computer Communication Networks Data and Information Security IT Operations 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. | UNINA-9910483768203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cyberspace Safety and Security [[electronic resource] ] : 4th International Symposium, CSS 2012, Melbourne, Australia, December 12-13, 2012, Proceedings / / edited by Yang Xiang, Javier Lopez, C.-C. Jay Kuo, Wanlei Zhou
| Cyberspace Safety and Security [[electronic resource] ] : 4th International Symposium, CSS 2012, Melbourne, Australia, December 12-13, 2012, Proceedings / / edited by Yang Xiang, Javier Lopez, C.-C. Jay Kuo, Wanlei Zhou |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XIV, 510 p. 226 illus.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer security
Computer communication systems Data encryption (Computer science) Algorithms Application software Management information systems Computer science Systems and Data Security Computer Communication Networks Cryptology Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) Management of Computing and Information Systems |
| ISBN | 3-642-35362-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | CSS 2012 Regular Papers -- Session 1: Mobile Security -- Identity and Its Authentication Protocol for Secure Mobile Commerce Applications -- SafeCode – Safeguarding Security and Privacy of User Data on Stolen iOS Devices -- Protection Aspects of Iconic Passwords on Mobile Devices -- Detecting Control Flow in Smarphones: Combining Static and Dynamic Analyses -- Session 2: Cyberspace Attacks and Defense -- A Multi-tier Ensemble Construction of Classifiers for Phishing Email Detection and Filtering -- Chattering-Free Terminal Sliding-Mode Observer for Anomaly Detection -- Detecting Illicit Drugs on Social Media Using Automated Social Media Intelligence Analysis (ASMIA) -- Improving Content Availability in the I2P Anonymous File-Sharing Environment -- Session 3: Security Applications and Systems -- V2GPriv: Vehicle-to-Grid Privacy in the Smart Grid -- A Secure Architecture for Smart Meter Systems -- A Novel Identity-Based Key Management and Encryption Scheme for Distributed System -- An Anomaly Based Approach for HID Attack Detection Using Keystroke Dynamics -- Robust Authentication of Public Access Points Using Digital Certificates – A Novel Approach -- Session 4: Network and Cloud Security -- General Transformation from KP-ABE to Searchable Encryption -- Supporting Security and Consistency for Cloud Database -- Proxy Re-encryption in a Privacy-Preserving Cloud Computing DRM Scheme -- Collaborative Behavior Visualization and Its Detection by Observing Darknet Traffic -- SSH – Somewhat Secure Host -- Session 5: Security Models -- Physical Access Control Administration Using Building Information Models -- Multiple Factors Based Evaluation of Fingerprint Images Quality -- A Leakage-Resilient Zero Knowledge Proof for Lattice Problem -- MDSE@R: Model-Driven Security Engineering at Runtime -- Session 6: Wireless Security -- A Hash Chains Based Key Management Scheme for Wireless Sensor Networks -- An Event-Based Packet Dropping Detection Scheme for Wireless Mesh Networks -- A State-Aware RFID Privacy Model with Reader Corruption -- An Improved Anti-collision Algorithm for ISO15693 RFID Systems -- Session 7: Security Protocols -- Near-Optimal Collusion-Secure Fingerprinting Codes for Efficiently Tracing Illegal Re-distribution -- A Forward-Secure Certificate-Based Signature Scheme in the Standard Model -- Policy-Based Vulnerability Assessment for Virtual Organisations -- Constant-Ciphertext-Size Dual Policy Attribute Based Encryption -- Session 8: Industry Track: Future of Cyberspace Security and Safety -- Sophisticated Phishers Make More Spelling Mistakes: Using URL Similarity against Phishing -- Secure Mobility Management Based on Session Key Agreements -- Taxonomy and Proposed Architecture of Intrusion Detection and Prevention Systems for Cloud Computing -- Portability Evaluation of Cryptographic Libraries on Android Smartphones -- Secure Middleware Patterns -- Intrusion Detection Using Disagreement-Based Semi-supervised Learning: Detection Enhancement and False Alarm Reduction -- Towards Effective Algorithms for Intelligent Defense Systems. |
| Record Nr. | UNISA-996465956303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Emerging Information Security and Applications : 5th International Conference, EISA 2024, Changzhou, China, October 18–19, 2024, Proceedings / / edited by Wenjuan Li, Liqun Chen, Javier Lopez
| Emerging Information Security and Applications : 5th International Conference, EISA 2024, Changzhou, China, October 18–19, 2024, Proceedings / / edited by Wenjuan Li, Liqun Chen, Javier Lopez |
| Autore | Li Wenjuan |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (382 pages) |
| Disciplina |
621.39
004.6 |
| Altri autori (Persone) |
ChenLiqun
LopezJavier |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer engineering
Computer networks Cryptography Data encryption (Computer science) Artificial intelligence Data protection Computer networks - Security measures Computer Engineering and Networks Cryptology Artificial Intelligence Data and Information Security Mobile and Network Security |
| ISBN | 9783031804199 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- High-Efficiency Phase-Index Correlation Delay Shift Keying Modulation. -- Federated Learning Poison Attack Detection Scheme Based on Gradient Similarity. -- A Privacy-Preserving and Fault-Tolerant Data Aggregation Scheme in Smart Grids. -- Local Differential Privacy for Key-Value Data Collection and Analysis Based on Privacy Preference and Adaptive Sampling. -- Comparative Study of Machine Learning Approaches for Phishing Website Detection. -- Exploring Interpretability in Backdoor Attacks on Image. -- Attribute-Based Secret Key Signature Scheme. -- Digital token transaction tracing method. -- GPT-based WebAssembly Instruction Analysis for Program Language Processing. -- Research on Key Technologies of Fair Deep Learning. -- Adaptive Differential Privacy Based Optimization Scheme for Federated Learning. -- Cascading failures model with noise interference in supply chain networks. -- DefMPA: Defending Model Poisoning Attacks in Federated Learning via Model Update Prediction. -- SDDRM: An Optimization Algorithm for Localized Differential Privacy Based on Data Sensitivity Differences. -- Blockchain-based key management scheme in Internet of Things. -- Privacy Optimization of Deep Recommendation Algorithm in Federated Framework. -- Delegated Proof of Stake Consensus Mechanism Based on the Overall Perspective of Voting. -- A Distributed Privacy-preserving Data Aggregation Scheme for MaaS Data Sharing. |
| Record Nr. | UNINA-9910983297403321 |
Li Wenjuan
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundations of Security Analysis and Design VII [[electronic resource] ] : FOSAD 2012 / 2013 Tutorial Lectures / / edited by Alessandro Aldini, Javier Lopez, Fabio Martinelli
| Foundations of Security Analysis and Design VII [[electronic resource] ] : FOSAD 2012 / 2013 Tutorial Lectures / / edited by Alessandro Aldini, Javier Lopez, Fabio Martinelli |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (VIII, 282 p. 98 illus.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer security
Data encryption (Computer science) Management information systems Computer science Computers Systems and Data Security Cryptology Management of Computing and Information Systems Theory of Computation |
| ISBN | 3-319-10082-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model-Based Testing for Functional and Security Test Generation -- Model-Based Security Engineering: Managed Co-evolution of Security Knowledge and Software Models.- Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif.- Defensive JavaScript: Building and Verifying Secure Web Components.- Information Flow Control for Web Scripts -- EasyCrypt: A Tutorial.- Cryptographic Voting — A Gentle Introduction.- Encryption and Fragmentation for Data Confidentiality in the Cloud.- Location Privacy in WSNs: Solutions, Challenges, and Future Trends. |
| Record Nr. | UNISA-996198264103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
