4. ESSoS 2012: Eindhoven, The Netherlands

Gilles Barthe, Benjamin Livshits, Riccardo Scandariato (Eds.): Engineering Secure Software and Systems - 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings. Lecture Notes in Computer Science 7159 Springer 2012, ISBN 978-3-642-28165-5

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/essos/BarbuHD12
- ask others
Guillaume Barbu, Philippe Hoogvorst, Guillaume Duc: Application-Replay Attack on Java Cards: When the Garbage Collector Gets Confused. 1-13
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/essos/BeckersFHKS12
- ask others
Kristian Beckers, Stephan Faßbender, Maritta Heisel, Jan-Christoph Küster, Holger Schmidt: Supporting the Development and Documentation of ISO 27001 Information Security Management Systems through Security Requirements Engineering Approaches. 14-21
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/essos/BreuerB12
- ask others
Peter T. Breuer, Jonathan P. Bowen: Typed Assembler for a RISC Crypto-Processor. 22-29
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/essos/CasalinoPT12
- ask others
Matteo Maria Casalino, Henrik Plate, Slim Trabelsi: Transversal Policy Conflict Detection. 30-37
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/essos/GejiboMMVK12
- ask others
Samson Gejibo, Federico Mancini, Khalid A. Mughal, Remi Valvik, Jørn Klungsøyr: Challenges in Implementing an End-to-End Secure Protocol for Java ME-Based Mobile Data Collection in Low-Budget Settings. 38-45
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/essos/KovacsS12
- ask others
Máté Kovács, Helmut Seidl: Runtime Enforcement of Information Flow Security in Tree Manipulating Processes. 46-59
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/essos/MasiPT12
- ask others
Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi: Formalisation and Implementation of the XACML Access Control Mechanism. 60-74
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/essos/MoyanoGAL12
- ask others
Francisco Moyano, M. Carmen Fernández Gago, Isaac Agudo, Javier Lopez: A Task Ordering Approach for Automatic Trust Establishment. 75-88
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/essos/NguyenM12
- ask others
Viet Hung Nguyen, Fabio Massacci: An Idea of an Independent Validation of Vulnerability Discovery Models. 89-96
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/essos/OchoaJW12
- ask others
Martín Ochoa, Jan Jürjens, Daniel Warzecha: A Sound Decision Procedure for the Compositionality of Secrecy. 97-105
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/essos/PotharajuNNZ12
- ask others
Rahul Potharaju, Andrew Newell, Cristina Nita-Rotaru, Xiangyu Zhang: Plagiarizing Smartphone Applications: Attack Strategies and Defense Techniques. 106-120
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/essos/SaadatmandCS12
- ask others
Mehrdad Saadatmand, Antonio Cicchetti, Mikael Sjödin: Design of Adaptive Security Mechanisms for Real-Time Embedded Systems. 121-134
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/essos/StergiopoulosTG12
- ask others
George Stergiopoulos, Bill Tsoumas, Dimitris Gritzalis: Hunting Application-Level Logical Errors. 135-142
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/essos/ZhuX12
- ask others
Huafei Zhu, Hong Xiao: Optimal Trust Mining and Computing on Keyed MapReduce. 143-150