Lecture Notes in Computer Science - Engineering Secure Software and Systems
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642365621, 9783642365638

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Formal Approach for Inspecting Privacy and Trust in Advanced Electronic Services

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-642-36563-8_11 ◽

2013 ◽

pp. 155-170 ◽

Author(s):

Koen Decroix ◽

Jorn Lapon ◽

Bart De Decker ◽

Vincent Naessens

Keyword(s):

Formal Approach

Download Full-text

Confidentiality for Probabilistic Multi-threaded Programs and Its Verification

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-642-36563-8_8 ◽

2013 ◽

pp. 107-122 ◽

Author(s):

Tri Minh Ngo ◽

Mariëlle Stoelinga ◽

Marieke Huisman

Download Full-text

dkal ⋆ : Constructing Executable Specifications of Authorization Protocols

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-642-36563-8_10 ◽

2013 ◽

pp. 139-154 ◽

Author(s):

Jean-Baptiste Jeannin ◽

Guido de Caso ◽

Juan Chen ◽

Yuri Gurevich ◽

Prasad Naldurg ◽

...

Keyword(s):

Executable Specifications

Download Full-text

A Fully Homomorphic Crypto-Processor Design

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-642-36563-8_9 ◽

2013 ◽

pp. 123-138 ◽

Author(s):

Peter T. Breuer ◽

Jonathan P. Bowen

Keyword(s):

Processor Design

Download Full-text

Compositional Verification of Application-Level Security Properties

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-642-36563-8_6 ◽

2013 ◽

pp. 75-90 ◽

Author(s):

Linda Ariani Gunawan ◽

Peter Herrmann

Keyword(s):

Compositional Verification ◽

Security Properties

Download Full-text

Model-Based Usage Control Policy Derivation

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-642-36563-8_5 ◽

2013 ◽

pp. 58-74 ◽

Author(s):

Prachi Kumari ◽

Alexander Pretschner

Keyword(s):

Control Policy ◽

Usage Control ◽

Download Full-text

Idea: Callee-Site Rewriting of Sealed System Libraries

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-642-36563-8_3 ◽

2013 ◽

pp. 33-41 ◽

Author(s):

Philipp von Styp-Rekowsky ◽

Sebastian Gerling ◽

Michael Backes ◽

Christian Hammer

Download Full-text

Erratum: A Fully Homomorphic Crypto-Processor Design

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-642-36563-8_16 ◽

2013 ◽

pp. E1-E1

Author(s):

Peter T. Breuer ◽

Jonathan P. Bowen

Keyword(s):

Processor Design

Download Full-text

Idea: Writing Secure C Programs with SecProve

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-642-36563-8_12 ◽

2013 ◽

pp. 171-180 ◽

Author(s):

Myla M. Archer ◽

Elizabeth I. Leonard ◽

Constance L. Heitmeyer

Keyword(s):

Download Full-text

Towards Unified Authorization for Android

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-642-36563-8_4 ◽

2013 ◽

pp. 42-57 ◽

Author(s):

Michael J. May ◽

Karthikeyan Bhargavan

Download Full-text