Computer Security – ESORICS 2003 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540203001, 9783540396505

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Initiator-Resilient Universally Composable Key Exchange

Computer Security – ESORICS 2003 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39650-5_4 ◽

2003 ◽

pp. 61-84 ◽

Cited By ~ 12

Author(s):

Dennis Hofheinz ◽

Jörn Müller-Quade ◽

Rainer Steinwandt

Keyword(s):

Key Exchange

Download Full-text

A Toolkit for Managing Enterprise Privacy Policies

Computer Security – ESORICS 2003 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39650-5_10 ◽

2003 ◽

pp. 162-180 ◽

Cited By ~ 32

Author(s):

Michael Backes ◽

Birgit Pfitzmann ◽

Matthias Schunter

Keyword(s):

Privacy Policies

Download Full-text

An On-the-Fly Model-Checker for Security Protocol Analysis

Computer Security – ESORICS 2003 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39650-5_15 ◽

2003 ◽

pp. 253-270 ◽

Cited By ~ 66

Author(s):

David Basin ◽

Sebastian Mödersheim ◽

Luca Viganò

Keyword(s):

Protocol Analysis ◽

Security Protocol ◽

Model Checker

Download Full-text

Symmetric Authentication within a Simulatable Cryptographic Library

Computer Security – ESORICS 2003 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39650-5_16 ◽

2003 ◽

pp. 271-290 ◽

Cited By ~ 26

Author(s):

Michael Backes ◽

Birgit Pfitzmann ◽

Michael Waidner

Download Full-text

Hardware Encapsulation of Security Services

Computer Security – ESORICS 2003 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39650-5_12 ◽

2003 ◽

pp. 201-216 ◽

Cited By ~ 4

Author(s):

Adrian Baldwin ◽

Simon Shiu

Keyword(s):

Security Services

Download Full-text

Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card

Computer Security – ESORICS 2003 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39650-5_11 ◽

2003 ◽

pp. 181-200 ◽

Cited By ~ 6

Author(s):

Helmut Scherzer ◽

Ran Canetti ◽

Paul A. Karger ◽

Hugo Krawczyk ◽

Tal Rabin ◽

...

Keyword(s):

Smart Card ◽

Access Controls ◽

High Assurance

Download Full-text

Signature and Access Control Policies for XML Documents

Computer Security – ESORICS 2003 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39650-5_1 ◽

2003 ◽

pp. 1-22 ◽

Cited By ~ 4

Author(s):

Elisa Bertino ◽

Elena Ferrari ◽

Loredana Parasiliti Provenza

Keyword(s):

Access Control ◽

Control Policies ◽

Xml Documents ◽

Access Control Policies

Download Full-text

On the Detection of Anomalous System Call Arguments

Computer Security – ESORICS 2003 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39650-5_19 ◽

2003 ◽

pp. 326-343 ◽

Cited By ~ 68

Author(s):

Christopher Kruegel ◽

Darren Mutz ◽

Fredrik Valeur ◽

Giovanni Vigna

Keyword(s):

System Call

Download Full-text

Bridging Model-Based and Language-Based Security

Computer Security – ESORICS 2003 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39650-5_14 ◽

2003 ◽

pp. 235-252 ◽

Cited By ~ 8

Author(s):

Rogardt Heldal ◽

Fredrik Hultin

Keyword(s):

Model Based ◽

Bridging Model ◽

Language Based Security

Download Full-text

Towards Accountable Management of Privacy and Identity Information

Computer Security – ESORICS 2003 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39650-5_9 ◽

2003 ◽

pp. 146-161 ◽

Cited By ~ 17

Author(s):

Marco Casassa Mont ◽

Siani Pearson ◽

Pete Bramhall

Keyword(s):

Identity Information

Download Full-text

Computer Security – ESORICS 2003 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Initiator-Resilient Universally Composable Key Exchange

A Toolkit for Managing Enterprise Privacy Policies

An On-the-Fly Model-Checker for Security Protocol Analysis

Symmetric Authentication within a Simulatable Cryptographic Library

Hardware Encapsulation of Security Services

Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card

Signature and Access Control Policies for XML Documents

On the Detection of Anomalous System Call Arguments

Bridging Model-Based and Language-Based Security

Towards Accountable Management of Privacy and Identity Information

Computer Security – ESORICS 2003 - Lecture Notes in Computer Science
Latest Publications