| Description |
1 online resource (xiii, 320 pages) : illustrations (some color) |
| Series |
Lecture Notes in Computer Science, 0302-9743 ; 8208 |
|
LNCS sublibrary. SL 4, Security and cryptology |
|
Lecture notes in computer science ; 8208. 0302-9743
|
|
LNCS sublibrary. SL 4, Security and cryptology.
|
| Contents |
Cyber-Physical Systems -- Detecting and Preventing Beacon Replay Attacks in Receiver-Initiated MAC Protocols for Energy Efficient WSNs / Alessio Di Mauro [and others] -- Security Games for Cyber-Physical Systems / Roberto Vigo, Alessandro Bruni and Ender Yüksel -- Prevent Session Hijacking by Binding the Session to the Cryptographic Network Credentials / Willem Burgers, Roel Verdult and Marko van Eekelen -- Security Policies -- Inferring Required Permissions for Statically Composed Programs / Tero Hasu, Anya Helene Bagge and Magne Haveraaen -- SafeScript: JavaScript Transformation for Policy Enforcement / Mike Ter Louw [and others] -- Information Flow -- A Logic for Information Flow Analysis of Distributed Programs / Musard Balliu -- Dynamics and Secure Information Flow for a Higher-Order Pi-Calculus / Martin Pettai and Peeter Laud -- Lazy Programs Leak Secrets / Pablo Buiras and Alejandro Russo |
|
Security Experiences -- High-Performance Qualified Digital Signatures for X-Road / Arne Ansper [and others] -- Identification and Evaluation of Security Activities in Agile Projects / Tigist Ayalew, Tigist Kidane and Bengt Carlsson -- PeerShare: A System Secure Distribution of Sensitive Data among Social Contacts / Marcin Nagy, N. Asokan and Jörg Ott -- Cyber-Physical Systems -- Resilience of Process Control Systems to Cyber-Physical Attacks / Marina Krotofil and Alvaro A. Cárdenas -- Femtocell Security in Theory and Practice / Fabian van den Broek and Ronny Wichers Schreur -- Security Analysis of Building Automation Networks / Alessio Antonini, Alessandro Barenghi and Gerardo Pelosi -- Web Security -- Controlling Data Flow with a Policy-Based Programming Language for the Web / Thierry Sans, Iliano Cervesato and Soha Hussein |
|
A Survey on Control-Flow Integrity Means in Web Application Frameworks / Bastian Braun, Christian v. Pollak and Joachim Posegga -- Security Policies -- Incremental Hyperproperty Model Checking via Games / Dimiter Milushev and Dave Clarke -- Graph k-Anonymity through k-Means and as Modular Decomposition / Klara Stokes -- Network Security -- Domain-Based Storage Protection (DBSP) in Public Infrastructure Clouds / Nicolae Paladi, Christian Gehrmann and Fredric Morenius -- An Adaptive Mitigation Framework for Handling Suspicious Network Flows via MPLS Policies / Nabil Hachem, Joaquin Garcia-Alfaro and Hervé Debar -- Keyless Signatures' Infrastructure: How to Build Global Distributed Hash-Trees / Ahto Buldas, Andres Kroonmaa and Risto Laanoja |
| Summary |
This book constitutes the refereed proceedings of the 18th Nordic Conference on Secure IT Systems, NordSec 2013, held in Ilulissat, Greenland, in October 2013. The 18 revised regular papers together with 3 short papers and one invited talk were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections on formal analysis of security protocols, cyber-physical systems, security policies, information flow, security experiences, Web security, and network security |
| Notes |
International conference proceedings |
| Bibliography |
Includes bibliographical references and author index |
| Notes |
Online resource; title from PDF title page (SpringerLink, viewed October 7, 2013) |
| Subject |
Computer security -- Congresses
|
|
Computer networks -- Security measures -- Congresses
|
|
Computer security.
|
|
Computer networks.
|
|
Computer Security
|
|
Computer Communication Networks
|
|
Computer networks
|
|
Computer networks -- Security measures
|
|
Computer security
|
|
Engineering & Applied Sciences.
|
|
Computer Science.
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Nielson, Hanne Riis, 1954- editor.
|
|
Gollmann, Dieter, editor
|
| ISBN |
9783642414886 |
|
3642414885 |
|
3642414877 |
|
9783642414879 |
|
