Authors Index

ESORICS Authors Index

Shortcuts: A B C D E F G H I J K L M N O P Q R S T V W Y Z - Main page

Total number of contributing authors: 300

A

Abdelaziz, Mounji
- ASAX: Software Architecture and Rule-Based Language for Universal Audit Trail Analysis, Naji Habra, Baudouin Le Charlier, Isabelle Mathien, Mounji Abdelaziz, pp. 435-450, 1992.
Akyildiz, Ian F.
- A Security Reclassifier for a Local Area Network, Ian F. Akyildiz, Glenn S. Benson, pp. 85-95, 1990.
Anderson, Ross J.
- UEPS - A Second Generation Electronic Wallet, Ross J. Anderson, pp. 411-418, 1992.
- Liability and Computer Security: Nine Principles, Ross J. Anderson, pp. 231-245, 1994.
- On the Security of Digital Tachographs, Ross Anderson, pp. 111-125, 1998.
Ao, Xuhui
- Flexible Regulation of Distributed Coalitions, Xuhui Ao, Naftaly H. Minsky, pp. 39-60, 2003.
Asokan, N.
- Server-Supported Signatures, N. Asokan, G. Tsudik, M. Waidner, pp. 131-143, 1996.
Atluri, Vijayalakshmi
- An Authorization Model for Workflows, Vijayalakshmi Atluri, Wei-Kuang Huang, pp. 44-64, 1996.
Augot, Daniel
- DHWM: A Scheme for Managing Watermarking Keys in the Aquarelle Multimedia Distributed System, Daniel Augot, Jean-François Delaigle, Caroline Fontaine, pp. 241-255, 1998.
d'Ausbourg, Bruno
- M2S: A Machine for Multilevel Security, Bruno d'Ausbourg, Jean-Henri Llareus, pp. 373-391, 1992.
- Implementing Secure Dependencies over a Network by Designing a Distributed Security SubSystem, Bruno d'Ausbourg, pp. 249-266, 1994.
- A Secure Medium Access Control Protocol: Security versus Performances, Pierre Siron, Bruno d'Ausbourg, pp. 267-279, 1994.
Austel, Vernon
- Verification of a Formal Security Model for Multiapplicative Smart Cards, Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul Karger, Vernon Austel, David Toll, pp. 17-36, 2000.
Axelsson, Stefan
- Visualisation for Intrusion Detection Hooking the Worm, Stefan Axelsson, pp. 309-325, 2003.

B

Backes, Michael
- Computational Probabilistic Non-interference, Michael Backes, Birgit Pfitzmann, pp. 1-23, 2002.
- A Toolkit for Managing Enterprise Privacy Policies, Michael Backes, Birgit Pfitzmann, Matthias Schunter, pp. 162-180, 2003.
- Symmetric Authentication within a Simulatable Cryptographic Library, Michael Backes, Birgit Pfitzmann, Michael Waidner, pp. 271-290, 2003.
Bailey, D. J.
- Managing Computer Security: How Can Research Help?, D. J. Bailey, pp. 235-241, 1990.
Baldwin, Adrian
- Hardware Encapsulation of Security Services, Adrian Baldwin, Simon Shiu, pp. 201-216, 2003.
Banfi, R.
- A Tool for Pro-active Defense Against the Buffer Overrun Attack, D. Bruschi, E. Rosti, R. Banfi, pp. 17-31, 1998.
Banātre, Jean-Pierre
- Compile-time Detection of Information Flow in Sequential Programs, Jean-Pierre Banâtre, Ciaran Bryce, Daniel Le Métayer, pp. 55-73, 1994.
Basin, David
- An On-the-Fly Model-Checker for Security Protocol Analysis, David Basin, Sebastian Mödersheim, Luca Viganò, pp. 253-270, 2003.
Bella, Giampaolo
- Kerberos Version IV: Inductive Analysis of the Secrecy Goals, Giampaolo Bella, Lawrence C. Paulson, pp. 361-375, 1998.
- Formal Verification of Cardholder Registration in SET, Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano, pp. 159-174, 2000.
Benson, Glenn S.
- A Security Reclassifier for a Local Area Network, Ian F. Akyildiz, Glenn S. Benson, pp. 85-95, 1990.
Bertino, Elisa
- Mark-and-Sweep Garbage Collection in Multilevel Secure Object-Oriented Database Systems, Alessandro Ciampichetti, Elisa Bertino, Luigi Mancini, pp. 359-373, 1994.
- An Authorization Model and Its Formal Semantics, Elisa Bertino, Francesco Buccafurri, Elena Ferrari, Pasquale Rullo, pp. 127-142, 1998.
- Signature and Access Control Policies for XML Documents, Elisa Bertino, Elena Ferrari, Loredana Parasiliti Provenza, pp. 1-22, 2003.
Beth, Thomas
- Timely Authentication in Distributed Systems, Kwok-Yan Lam, Thomas Beth, pp. 293-303, 1992.
- Valuation of Trust in Open Networks, Thomas Beth, Malte Borcherding, Birgit Klein, pp. 3-18, 1994.
Bidan, Christophe
- Dealing with Multi-policy Security in Large Open Distributed Systems, Christophe Bidan, Valérie Issarny, pp. 51-66, 1998.
- An Improved Reference Flow Control Model for Policy-Based Intrusion Detection, Jacob Zimmermann, Ludovic Mé, Christophe Bidan, pp. 291-308, 2003.
Bieber, Pierre
- Epistemic Verification of Cryptographic Protocols, Pierre Bieber, pp. 211-221, 1990.
- Checking Secure Interactions of Smart Card Applets, P. Bieber, J. Cazin, P. Girard, J.-L. Lanet, V. Wiels, G. Zanon, pp. 1-16, 2000.
Biskup, Joachim
- A General Framework for Database Security, Joachim Biskup, pp. 35-41, 1990.
- Confidentiality Policies and Their Enforcement for Controlled Query Evaluation , Joachim Biskup, Piero A. Bonatti, pp. 39-54, 2002.
Blain, Laurent
- An Intrusion-Tolerant Security Server for an Open Distributed System, Laurent Blain, Yves Deswarte, pp. 97-104, 1990.
Boly, Jean-Paul
- The ESPRIT Project CAFE - High Security Digital Payment Systems -, Jean-Paul Boly, Antoon Bosselaers, Ronald Cramer, Rolf Michelsen, Stig Mjølsnes, Frank Muller, Torben Pedersen, Birgit Pfitzmann, Peter de Rooij, Berry Schoenmakers, Matthias Schunter, Luc Vallée, Michael Waidner, pp. 217-230, 1994.
Bonatti, Piero A.
- Merging Heterogeneous Security Orederings, P.A. Bonatti, M.L. Sapino, V.S. Subrahmanian, pp. 183-197, 1996.
- Confidentiality Policies and Their Enforcement for Controlled Query Evaluation , Joachim Biskup, Piero A. Bonatti, pp. 39-54, 2002.
Borcherding, Malte
- Valuation of Trust in Open Networks, Thomas Beth, Malte Borcherding, Birgit Klein, pp. 3-18, 1994.
Bosselaers, Antoon
- The ESPRIT Project CAFE - High Security Digital Payment Systems -, Jean-Paul Boly, Antoon Bosselaers, Ronald Cramer, Rolf Michelsen, Stig Mjølsnes, Frank Muller, Torben Pedersen, Birgit Pfitzmann, Peter de Rooij, Berry Schoenmakers, Matthias Schunter, Luc Vallée, Michael Waidner, pp. 217-230, 1994.
Boulahia-Cuppens, N.
- Decomposition of Multilevel Objects in an Object-Oriented Database, N. Boulahia-Cuppens, F. Cuppens, A. Gabillon, K. Yazdanian, pp. 375-402, 1994.
Boulton, Peter I. P.
- An Architecture for a Trusted Network, E. Stewart Lee, Brian Thomson, Peter I. P. Boulton, Michael Stumm, pp. 105-113, 1990.
Boyd, Colin
- A Formal Framework for Authentication, Colin Boyd, pp. 273-292, 1992.
- Designing Secure Key Exchange Protocols, Colin Boyd, Wenbo Mao, pp. 93-105, 1994.
- On Strengthening Authentication Protocols to Foil Cryptanalysis, Wenbo Mao, Colin Boyd, pp. 193-204, 1994.
Bramhall, Pete
- Towards Accountable Management of Privacy and Identity Information, Marco Casassa Mont, Siani Pearson, Pete Bramhall, pp. 146-161, 2003.
Broadfoot, Philippa J.
- Automating Data Independence, P. J. Broadfoot, G. Lowe, A. W. Roscoe, pp. 175-190, 2000.
- Analysing a Stream Authentication Protocol using Model Checking, Philippa Broadfoot, Gavin Lowe, pp. 146-161, 2002.
Brose, Gerald
- A Typed Access Control Model for CORBA, Gerald Brose, pp. 88-105, 2000.
Brouwer, A.
- Harmonised Criteria for the Security Evaluation of IT Systems and Products, P. Casey, A. Brouwer, D. Herson, J.-F. Pacault, F. Taal, U. Van Essen, pp. 243-249, 1990.
Bruschi, D.
- A Tool for Pro-active Defense Against the Buffer Overrun Attack, D. Bruschi, E. Rosti, R. Banfi, pp. 17-31, 1998.
Bryce, Ciaran
- Compile-time Detection of Information Flow in Sequential Programs, Jean-Pierre Banâtre, Ciaran Bryce, Daniel Le Métayer, pp. 55-73, 1994.
- A Security Framework for a Mobile Agent System, Ciaran Bryce, pp. 273-290, 2000.
Buccafurri, Francesco
- An Authorization Model and Its Formal Semantics, Elisa Bertino, Francesco Buccafurri, Elena Ferrari, Pasquale Rullo, pp. 127-142, 1998.
Bull, John A.
- Towards Security in an Open Systems Federation, John A. Bull, Li Gong, Karen R. Sollins, pp. 5-20, 1992.

C

Calas, Christel
- GDoM: A Multilevel Document Manager, Christel Calas, pp. 393-408, 1992.
- Distributed File System over a Multilevel Secure Architecture Problems and Solutions, Christel Calas, pp. 281-297, 1994.
Camenisch, Jan L.
- An Efficient Electronic Payment System Protecting Privacy, Jan L. Camenisch, Jean-Marc Piveteau, Markus A. Stadler, pp. 207-215, 1994.
- Digital Payment Systems with Passive Anonymity-Revoking Trustees, Jan Camenisch, Ueli Maurer, Markus Stadler, pp. 33-43, 1996.
Canetti, Ran
- Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card, Helmut Scherzer, Ran Canetti, Paul A. Karger, Hugo Krawczyk, Tal Rabin, David C. Toll, pp. 181-200, 2003.
Casassa Mont, Marco
- Towards Accountable Management of Privacy and Identity Information, Marco Casassa Mont, Siani Pearson, Pete Bramhall, pp. 146-161, 2003.
Casey, P.
- Harmonised Criteria for the Security Evaluation of IT Systems and Products, P. Casey, A. Brouwer, D. Herson, J.-F. Pacault, F. Taal, U. Van Essen, pp. 243-249, 1990.
Cazin, J.
- Checking Secure Interactions of Smart Card Applets, P. Bieber, J. Cazin, P. Girard, J.-L. Lanet, V. Wiels, G. Zanon, pp. 1-16, 2000.
Chari, Suresh
- Authentication for Distributed Web Caches, James Giles, Reiner Sailer, Dinesh Verma, Suresh Chari, pp. 126-145, 2002.
Chen, Lidong
- Oblivious Signatures, Lidong Chen, pp. 161-172, 1994.
Ciampichetti, Alessandro
- Mark-and-Sweep Garbage Collection in Multilevel Secure Object-Oriented Database Systems, Alessandro Ciampichetti, Elisa Bertino, Luigi Mancini, pp. 359-373, 1994.
Cramer, Ronald
- The ESPRIT Project CAFE - High Security Digital Payment Systems -, Jean-Paul Boly, Antoon Bosselaers, Ronald Cramer, Rolf Michelsen, Stig Mjølsnes, Frank Muller, Torben Pedersen, Birgit Pfitzmann, Peter de Rooij, Berry Schoenmakers, Matthias Schunter, Luc Vallée, Michael Waidner, pp. 217-230, 1994.
Cuppens, Frédéric
- An Epistemic and Deontic Logic for Reasoning about Computer Security, F. Cuppens, pp. 135-145, 1990.
- Decomposition of Multilevel Objects in an Object-Oriented Database, N. Boulahia-Cuppens, F. Cuppens, A. Gabillon, K. Yazdanian, pp. 375-402, 1994.
- Information Flow Controls vs Inference Controls: An Integrated Approach, F. Cuppens, G. Trouessin, pp. 447-468, 1994.
- Rules for Designing Multilevel Object-Oriented Databases, Frédéric Cuppens, Alban Gabillon, pp. 159-174, 1998.

D

Dacier, Marc
- Privilege Graph: an Extension to the Typed Access Matrix Model, Marc Dacier, Yves Deswarte, pp. 317-334, 1994.
- Fixed vs. Variable-Length Patterns for Detecting Suspicious Process Behavior, Hervé Debar, Marc Dacier, Mehdi Nassehi, Andreas Wespi, pp. 1-15, 1998.
Daemen, Joan
- A Hardware Design Model for Cryptographic Algorithms, Joan Daemen, René Govaerts, Joos Vandewalle, pp. 417-434, 1992.
De Capitani di Vimercati, Sabrina
- An Authorization Model for Federated Systems, Sabrina De Capitani di Vimercati, Pierangela Samarati, pp. 99-117, 1996.
Debar, Hervé
- Fixed vs. Variable-Length Patterns for Detecting Suspicious Process Behavior, Hervé Debar, Marc Dacier, Mehdi Nassehi, Andreas Wespi, pp. 1-15, 1998.
Deberdt, Eric
- Methodology "Minerve Security" - Evaluation Process of Software Security, Eric Deberdt, Sylvain Martin, pp. 223-231, 1990.
Delaigle, Jean-Franēois
- DHWM: A Scheme for Managing Watermarking Keys in the Aquarelle Multimedia Distributed System, Daniel Augot, Jean-François Delaigle, Caroline Fontaine, pp. 241-255, 1998.
Desmedt, Yvo
- Breaking the Traditional Computer Security Research Barriers, Yvo Desmedt, pp. 125-138, 1992.
Deswarte, Yves
- An Intrusion-Tolerant Security Server for an Open Distributed System, Laurent Blain, Yves Deswarte, pp. 97-104, 1990.
- Privilege Graph: an Extension to the Typed Access Matrix Model, Marc Dacier, Yves Deswarte, pp. 317-334, 1994.
- A Multilevel Security Model For Distributed Object Systems, Vincent Nicomette, Yves Deswarte, pp. 80-98, 1996.
Domingos, Dulce
- Authorization and Access Control in Adaptive Workflows, Dulce Domingos, António Rito-Silva, Pedro Veiga, pp. 23-38, 2003.

E

Etoh, Hiroaki
- Finding a Connection Chain for Tracing Intruders, Kunikazu Yoda, Hiroaki Etoh, pp. 191-205, 2000.
Evans, Neil
- Analysing Time Dependent Security Properties in CSP Using PVS, Neil Evans, Steve Schneider, pp. 222-237, 2000.

F

Fabre, Jean-Charles
- An Object-Oriented View of Fragmented Data Processing for Fault and Intrusion Tolerance in Distributed Systems, Jean-Charles Fabre, Brian Randell, pp. 193-208, 1992.
Farmer, Willian M.
- Security for Mobile Agents: Authentification and State Appraisal, Willian M. Farmer, Joshua D. Guttman, Vipin Swarup, pp. 118-130, 1996.
Ferrari, Elena
- An Authorization Model and Its Formal Semantics, Elisa Bertino, Francesco Buccafurri, Elena Ferrari, Pasquale Rullo, pp. 127-142, 1998.
- Signature and Access Control Policies for XML Documents, Elisa Bertino, Elena Ferrari, Loredana Parasiliti Provenza, pp. 1-22, 2003.
Foley, Simon N.
- A Kernelized Architecture for Multilevel Secure Application Policies, Simon N. Foley, pp. 33-49, 1998.
Fontaine, Caroline
- DHWM: A Scheme for Managing Watermarking Keys in the Aquarelle Multimedia Distributed System, Daniel Augot, Jean-François Delaigle, Caroline Fontaine, pp. 241-255, 1998.
Franz, Elke
- A Mix-Mediated Anonymity Service and Its Payment, Elke Franz, Anja Jerichow, pp. 313-327, 1998.

G

Gabillon, Alban
- Decomposition of Multilevel Objects in an Object-Oriented Database, N. Boulahia-Cuppens, F. Cuppens, A. Gabillon, K. Yazdanian, pp. 375-402, 1994.
- Rules for Designing Multilevel Object-Oriented Databases, Frédéric Cuppens, Alban Gabillon, pp. 159-174, 1998.
Ganta, Srinivas
- On the Expressive Power of the Unary Transformation Model, Ravi S. Sandhu, Srinivas Ganta, pp. 301-318, 1994.
Giles, James
- Authentication for Distributed Web Caches, James Giles, Reiner Sailer, Dinesh Verma, Suresh Chari, pp. 126-145, 2002.
Girard, P.
- Checking Secure Interactions of Smart Card Applets, P. Bieber, J. Cazin, P. Girard, J.-L. Lanet, V. Wiels, G. Zanon, pp. 1-16, 2000.
Girault, Marc
- An Identity-Based Scheme Providing Zero-Knowledge Authentication and Authenticated Key Exchange, Marc Girault, Jean-Claude Pailles, pp. 173-184, 1990.
Gligor, Virgil D.
- Formal Methods and Automated Tool for Timing-Channel Identification in TCB Source Code, Jingsha He, Virgil D. Gligor, pp. 57-75, 1992.
Gollmann, Dieter
- Freshness Assurance of Authentication Protocols, Kwok-Yan Lam, Dieter Gollmann, pp. 261-271, 1992.
- Certified Electronic Mail, Jianying Zhou, Dieter Gollmann, pp. 160-171, 1996.
Gombault, Sylvain
- A Full Bandwidth ATM Firewall, Olivier Paul, Maryline Laurent, Sylvain Gombault, pp. 206-221, 2000.
Gomulkiewicz, Marcin
- Hamming Weight Attacks on Cryptographic Hardware - Breaking Masking Defense, Marcin Gomulkiewicz, Miroslaw Kutylowski, pp. 90-103, 2002.
- Rapid Mixing and Security of Chaum's Visual Electronic Voting, Marcin Gomulkiewicz, Marek Klonowski, Miroslaw Kutylowski, pp. 132-145, 2003.
Gong, Li
- Towards Security in an Open Systems Federation, John A. Bull, Li Gong, Karen R. Sollins, pp. 5-20, 1992.
Goscinski, Andrzej
- The Development and Testing of the Identity-based Conference Key Distribution System for the RHODOS Distributed System, Michael Wang, Andrzej Goscinski, pp. 209-228, 1992.
Govaerts, René
- A Hardware Design Model for Cryptographic Algorithms, Joan Daemen, René Govaerts, Joos Vandewalle, pp. 417-434, 1992.
Greenwald, Steven J.
- Towards Formalizing the Java Security Architecture of JDK 1.2, Lora L. Kassab, Steven J. Greenwald, pp. 191-207, 1998.
Guttman, Joshua D.
- Security for Mobile Agents: Authentification and State Appraisal, Willian M. Farmer, Joshua D. Guttman, Vipin Swarup, pp. 118-130, 1996.
- Authentication and Confidentiality via IPsec, Joshua D. Guttman, Amy L. Herzog, F. Javier Thayer, pp. 255-272, 2000.

H

Habra, Naji
- ASAX: Software Architecture and Rule-Based Language for Universal Audit Trail Analysis, Naji Habra, Baudouin Le Charlier, Isabelle Mathien, Mounji Abdelaziz, pp. 435-450, 1992.
Hall, Chris
- Side Channel Cryptanalysis of Product Ciphers, John Kelsey, Bruce Schneier, David Wagner, Chris Hall, pp. 97-110, 1998.
Hardjono, Thomas
- Authentication via Multi-Service Tickets in the Kuperee Server, Thomas Hardjono, Jennifer Seberry, pp. 143-160, 1994.
Hauser, Ralf C.
- Verification and Modelling of Authentication Protocols, Ralf C. Hauser, pp. 141-154, 1992.
- Robust and Secure Password and Key Change Method, Ralf Hauser, Philippe Janson, Refik Molva, Gene Tsudik, Els Van Herreweghen, pp. 107-122, 1994.
He, Jingsha
- Formal Methods and Automated Tool for Timing-Channel Identification in TCB Source Code, Jingsha He, Virgil D. Gligor, pp. 57-75, 1992.
Heather, James
- Equal To The Task?, James Heather, Steve Schneider, pp. 162-177, 2002.
Heisel, Maritta
- Confidentiality-Preserving Refinement is Compositional - Sometimes, Thomas Santen, Maritta Heisel, Andreas Pfitzmann, pp. 194-211, 2002.
Heldal, Rogardt
- Bridging Model-Based and Language-Based Security, Rogardt Heldal, Fredrik Hultin, pp. 235-252, 2003.
Herson, D.
- Harmonised Criteria for the Security Evaluation of IT Systems and Products, P. Casey, A. Brouwer, D. Herson, J.-F. Pacault, F. Taal, U. Van Essen, pp. 243-249, 1990.
Herzog, Amy L.
- Authentication and Confidentiality via IPsec, Joshua D. Guttman, Amy L. Herzog, F. Javier Thayer, pp. 255-272, 2000.
Hocking, E.S.
- Towards an Object Oriented Development Environment for Secure Applications, E.S. Hocking, J.A. McDermid, pp. 191-200, 1990.
Hoffmann, G.
- Authentication and Access Control in a Distributed System, G. Hoffmann, S. Lechner, M. Leclerc, F. Steiner, pp. 71-84, 1990.
Hofheinz, Dennis
- Initiator-Resilient Universally Composable Key Exchange, Dennis Hofheinz, Jörn Müller-Quade, Rainer Steinwandt, pp. 61-84, 2003.
Hogben, Giles
- A Fully Compliant Research Implementation of the P3P Standard for Privacy Protection: Experiences and Recommendations, Giles Hogben, Tom Jackson, Marc Wilikens, pp. 104-125, 2002.
Horn, Günter
- Authentication and Payment in Future Mobile Systems, Günter Horn, Bart Preneel, pp. 277-293, 1998.
Howell, Jon
- A Formal Semantics for SPKI, Jon Howell, David Kotz, pp. 140-158, 2000.
Hsieh, Donovan
- The SeaView Secure Database System: A Progress Report, Teresa F. Lunt, Donovan Hsieh, pp. 3-13, 1990.
Huang, Wei-Kuang
- An Authorization Model for Workflows, Vijayalakshmi Atluri, Wei-Kuang Huang, pp. 44-64, 1996.
Huitema, Christian
- CHIMÆRA: A Network Security Model, Anas Tarah, Christian Huitema, pp. 127-132, 1990.
- Associating Metrics to Certification Paths, Anas Tarah, Christian Huitema, pp. 173-189, 1992.
Hultin, Fredrik
- Bridging Model-Based and Language-Based Security, Rogardt Heldal, Fredrik Hultin, pp. 235-252, 2003.

I

Indrajit, Ray
- Secure Concurrency Control in MLS Databases with Two Versions of Data, Luigi V. Mancini, Ray Indrajit, pp. 304-323, 1996.
Issarny, Valérie
- Dealing with Multi-policy Security in Large Open Distributed Systems, Christophe Bidan, Valérie Issarny, pp. 51-66, 1998.

J

Jackson, Tom
- A Fully Compliant Research Implementation of the P3P Standard for Privacy Protection: Experiences and Recommendations, Giles Hogben, Tom Jackson, Marc Wilikens, pp. 104-125, 2002.
Jajodia, Sushil
- Polyinstantiation for Cover Stories, Ravi S. Sandhu, Sushil Jajodia, pp. 307-328, 1992.
- Aggregation in Relational Databases: Controlled Disclosure of Sensitive Information, Amihai Motro, Donald G. Marks, Sushil Jajodia, pp. 431-445, 1994.
- Enhancing the Controlled Disclosure of Sensitive Information, Donald S. Marks, Amihai Motro, Sushil Jajodia, pp. 290-303, 1996.
- Cardinality-Based Inference Control in Sum-Only Data Cubes, Lingyu Wang, Duminda Wijesekera, Sushil Jajodia, pp. 55-71, 2002.
- Precisely Answering Multi-dimensional Range Queries without Privacy Breaches, Lingyu Wang, Yingjiu Li, Duminda Wijesekera, Sushil Jajodia, pp. 100-115, 2003.
Janson, Philippe
- Robust and Secure Password and Key Change Method, Ralf Hauser, Philippe Janson, Refik Molva, Gene Tsudik, Els Van Herreweghen, pp. 107-122, 1994.
Jerichow, Anja
- A Mix-Mediated Anonymity Service and Its Payment, Elke Franz, Anja Jerichow, pp. 313-327, 1998.
Jiwa, Azad
- Beacon Based Authentication, Azad Jiwa, Jennifer Seberry, Yuliang Zheng, pp. 125-141, 1994.
Jones, Andrew J. I.
- Formal Specification of Security Requirements using the Theory of Normative Positions, Andrew J. I. Jones, Marek Sergot, pp. 103-121, 1992.
Jones, R. W.
- A General Mechanism for Access Control: Its Relationship to Secure System Concepts, R. W. Jones, pp. 45-50, 1990.
Junghärtchen, Klaus
- Distributed Temporary Pseudonyms: A New Approach for Protecting Location Information in Mobile Communication Networks, Dogan Kesdogan, Peter Reichl, Klaus Junghärtchen, pp. 295-312, 1998.
Jųsang, Audun
- A Subjective Metric of Authentication, Audun Jøsang, pp. 329-344, 1998.

K

Kaiser, Jörg
- An Object-Oriented Architecture to Support System Reliability and Security, Jörg Kaiser, pp. 51-60, 1990.
Kang, I.E.
- On Transaction Processing for Multilevel Secure Replicated Databases, I.E. Kang, T.F. Keefe, pp. 329-347, 1992.
Karger, Paul A.
- Verification of a Formal Security Model for Multiapplicative Smart Cards, Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul Karger, Vernon Austel, David Toll, pp. 17-36, 2000.
- Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card, Helmut Scherzer, Ran Canetti, Paul A. Karger, Hugo Krawczyk, Tal Rabin, David C. Toll, pp. 181-200, 2003.
Karjoth, Günter
- Authorization in CORBA Security, Günter Karjoth, pp. 143-158, 1998.
Kassab, Lora L.
- Towards Formalizing the Java Security Architecture of JDK 1.2, Lora L. Kassab, Steven J. Greenwald, pp. 191-207, 1998.
Keefe, Thomas F.
- On Transaction Processing for Multilevel Secure Replicated Databases, I.E. Kang, T.F. Keefe, pp. 329-347, 1992.
- The Impact of Multilevel Security on Database Buffer Management, Andrew Warner, Qiang Li, Thomas Keefe, Shankar Pal, pp. 266-289, 1996.
Kelsey, John
- Distributed Proctoring, Bruce Schneier, John Kelsey, Jay Walker, pp. 172-182, 1996.
- Side Channel Cryptanalysis of Product Ciphers, John Kelsey, Bruce Schneier, David Wagner, Chris Hall, pp. 97-110, 1998.
Kelter, Udo
- Group-Oriented Discretionary Access Controls for Distributed Structurally Object-Oriented Database Systems, Udo Kelter, pp. 23-33, 1990.
- Type-Level Access Controls for Distributed Structurally Object-Oriented Database Systems, Udo Kelter, pp. 21-40, 1992.
Kesdogan, Dogan
- Distributed Temporary Pseudonyms: A New Approach for Protecting Location Information in Mobile Communication Networks, Dogan Kesdogan, Peter Reichl, Klaus Junghärtchen, pp. 295-312, 1998.
Kessler, Volker
- On the Chinese Wall Model, Volker Kessler, pp. 41-54, 1992.
- Formal Semantics for Authentification Logics, Gabriele Wedel, Volker Kessler, pp. 219-241, 1996.
- A Sound Logic for Analysing Electronic Commerce Protocols, Volker Kessler, Heike Neumann, pp. 345-360, 1998.
Klein, Birgit
- Valuation of Trust in Open Networks, Thomas Beth, Malte Borcherding, Birgit Klein, pp. 3-18, 1994.
Klonowski, Marek
- Rapid Mixing and Security of Chaum's Visual Electronic Voting, Marcin Gomulkiewicz, Marek Klonowski, Miroslaw Kutylowski, pp. 132-145, 2003.
Koch, Manuel
- A Formal Model for Role-Based Access Control Using Graph Transformations, Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce, pp. 122-139, 2000.
- Decidability of Safety in Graph-based Models for Access Control, Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce, pp. 229-243, 2002.
Komocar, Mihajlo
- Security Kernel Design and Implementation in the IBM PC Environment, Zoran Savic, Mihajlo Komocar, pp. 61-68, 1990.
Kotz, David
- A Formal Semantics for SPKI, Jon Howell, David Kotz, pp. 140-158, 2000.
Krawczyk, Hugo
- Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card, Helmut Scherzer, Ran Canetti, Paul A. Karger, Hugo Krawczyk, Tal Rabin, David C. Toll, pp. 181-200, 2003.
Kruegel, Christopher
- On the Detection of Anomalous System Call Arguments, Christopher Kruegel, Darren Mutz, Fredrik Valeur, Giovanni Vigna, pp. 326-343, 2003.
Kurosawa, Kaoru
- Bit Slice Auction Circuit, Kaoru Kurosawa, Wakaha Ogata, pp. 24-38, 2002.
Kutylowski, Miroslaw
- Hamming Weight Attacks on Cryptographic Hardware - Breaking Masking Defense, Marcin Gomulkiewicz, Miroslaw Kutylowski, pp. 90-103, 2002.
- Rapid Mixing and Security of Chaum's Visual Electronic Voting, Marcin Gomulkiewicz, Marek Klonowski, Miroslaw Kutylowski, pp. 132-145, 2003.

L

Lam, Kwok-Yan
- Freshness Assurance of Authentication Protocols, Kwok-Yan Lam, Dieter Gollmann, pp. 261-271, 1992.
- Timely Authentication in Distributed Systems, Kwok-Yan Lam, Thomas Beth, pp. 293-303, 1992.
Lanet, J.-L.
- Checking Secure Interactions of Smart Card Applets, P. Bieber, J. Cazin, P. Girard, J.-L. Lanet, V. Wiels, G. Zanon, pp. 1-16, 2000.
Laurent, Maryline
- A Full Bandwidth ATM Firewall, Olivier Paul, Maryline Laurent, Sylvain Gombault, pp. 206-221, 2000.
Le Charlier, Baudouin
- ASAX: Software Architecture and Rule-Based Language for Universal Audit Trail Analysis, Naji Habra, Baudouin Le Charlier, Isabelle Mathien, Mounji Abdelaziz, pp. 435-450, 1992.
Le Métayer, Daniel
- Compile-time Detection of Information Flow in Sequential Programs, Jean-Pierre Banâtre, Ciaran Bryce, Daniel Le Métayer, pp. 55-73, 1994.
Lechner, S.
- Authentication and Access Control in a Distributed System, G. Hoffmann, S. Lechner, M. Leclerc, F. Steiner, pp. 71-84, 1990.
Leclerc, M.
- Authentication and Access Control in a Distributed System, G. Hoffmann, S. Lechner, M. Leclerc, F. Steiner, pp. 71-84, 1990.
Lee, Sin Yeung
- Learning Fingerprints For A Database Intrusion Detection System, Sin Yeung Lee, Wai Lup Low, Pei Yuen Wong, pp. 264-280, 2002.
Li, Qiang
- The Impact of Multilevel Security on Database Buffer Management, Andrew Warner, Qiang Li, Thomas Keefe, Shankar Pal, pp. 266-289, 1996.
Li, Yingjiu
- Precisely Answering Multi-dimensional Range Queries without Privacy Breaches, Lingyu Wang, Yingjiu Li, Duminda Wijesekera, Sushil Jajodia, pp. 100-115, 2003.
Linnartz, J. P. M. G.
- MPEG PTY-Marks: Cheap Detection of Embedded Copyright Data in DVD-Video, J. P. M. G. Linnartz, J. C. Talstra, pp. 221-240, 1998.
- The "Ticket" Concept for Copy Control Based on Embedded Signalling, J. P. M. G. Linnartz, pp. 257-274, 1998.
Llareus, Jean-Henri
- M2S: A Machine for Multilevel Security, Bruno d'Ausbourg, Jean-Henri Llareus, pp. 373-391, 1992.
Lotz, Volkmar
- Threat Scenarios as a Means to Formally Develop Secure Systems, Volkmar Lotz, pp. 242-265, 1996.
- Formal Security Analysis with Interacting State Machines, David von Oheimb, Volkmar Lotz, pp. 212-228, 2002.
- A Formal Security Model of the Infineon SLE 88 Smart Card Memory Management, David von Oheimb, Georg Walter, Volkmar Lotz, pp. 217-234, 2003.
Low, Wai Lup
- Learning Fingerprints For A Database Intrusion Detection System, Sin Yeung Lee, Wai Lup Low, Pei Yuen Wong, pp. 264-280, 2002.
Lowe, Gavin
- Automating Data Independence, P. J. Broadfoot, G. Lowe, A. W. Roscoe, pp. 175-190, 2000.
- Analysing a Stream Authentication Protocol using Model Checking, Philippa Broadfoot, Gavin Lowe, pp. 146-161, 2002.
Lunt, Teresa F.
- The SeaView Secure Database System: A Progress Report, Teresa F. Lunt, Donovan Hsieh, pp. 3-13, 1990.

M

Mancini, Luigi V.
- Mark-and-Sweep Garbage Collection in Multilevel Secure Object-Oriented Database Systems, Alessandro Ciampichetti, Elisa Bertino, Luigi Mancini, pp. 359-373, 1994.
- Secure Concurrency Control in MLS Databases with Two Versions of Data, Luigi V. Mancini, Ray Indrajit, pp. 304-323, 1996.
- A Formal Model for Role-Based Access Control Using Graph Transformations, Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce, pp. 122-139, 2000.
- Decidability of Safety in Graph-based Models for Access Control, Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce, pp. 229-243, 2002.
Mantel, Heiko
- Unwinding Possibilistic Security Properties, Heiko Mantel, pp. 238-254, 2000.
Mao, Wenbo
- Designing Secure Key Exchange Protocols, Colin Boyd, Wenbo Mao, pp. 93-105, 1994.
- On Strengthening Authentication Protocols to Foil Cryptanalysis, Wenbo Mao, Colin Boyd, pp. 193-204, 1994.
- Lightweight Micro-cash for the Internet, Wenbo Mao, pp. 15-32, 1996.
Marks, Donald G.
- Aggregation in Relational Databases: Controlled Disclosure of Sensitive Information, Amihai Motro, Donald G. Marks, Sushil Jajodia, pp. 431-445, 1994.
Marks, Donald S.
- Enhancing the Controlled Disclosure of Sensitive Information, Donald S. Marks, Amihai Motro, Sushil Jajodia, pp. 290-303, 1996.
Marsh, Andy
- EUROMED-JAVA: Trusted Third Party Services for Securing Medical Java Applets, Angelos Varvitsiotis, Despina Polemi, Andy Marsh, pp. 209-220, 1998.
Martin, Sylvain
- Methodology "Minerve Security" - Evaluation Process of Software Security, Eric Deberdt, Sylvain Martin, pp. 223-231, 1990.
Massacci, Fabio
- Formal Verification of Cardholder Registration in SET, Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano, pp. 159-174, 2000.
Masucci, Barbara
- Metering Schemes for General Access Structures, Barbara Masucci, Douglas R. Stinson, pp. 72-87, 2000.
Mathien, Isabelle
- ASAX: Software Architecture and Rule-Based Language for Universal Audit Trail Analysis, Naji Habra, Baudouin Le Charlier, Isabelle Mathien, Mounji Abdelaziz, pp. 435-450, 1992.
Maurer, Ueli M.
- A Calculus for Secure Channel Establishment in Open Networks, Ueli M. Maurer, Pierre E. Schmid, pp. 175-192, 1994.
- Digital Payment Systems with Passive Anonymity-Revoking Trustees, Jan Camenisch, Ueli Maurer, Markus Stadler, pp. 33-43, 1996.
- Modelling a Public-Key Infrastructure, Ueli Maurer, pp. 324-350, 1996.
McDermid, J.A.
- Towards an Object Oriented Development Environment for Secure Applications, E.S. Hocking, J.A. McDermid, pp. 191-200, 1990.
Meadows, Catherine A.
- Analyzing the Needham-Schroeder Public Key Protocol: A Comparison of Two Approaches, Catherine A. Meadows, pp. 351-364, 1996.
Michels, Markus
- On the Security of Some Variants of the RSA Signature Scheme, Markus Michels, Markus Stadler, Hung-Min Sun, pp. 85-96, 1998.
Michelsen, Rolf
- The ESPRIT Project CAFE - High Security Digital Payment Systems -, Jean-Paul Boly, Antoon Bosselaers, Ronald Cramer, Rolf Michelsen, Stig Mjølsnes, Frank Muller, Torben Pedersen, Birgit Pfitzmann, Peter de Rooij, Berry Schoenmakers, Matthias Schunter, Luc Vallée, Michael Waidner, pp. 217-230, 1994.
Minsky, Naftaly H.
- Flexible Regulation of Distributed Coalitions, Xuhui Ao, Naftaly H. Minsky, pp. 39-60, 2003.
Mjųlsnes, Stig
- The ESPRIT Project CAFE - High Security Digital Payment Systems -, Jean-Paul Boly, Antoon Bosselaers, Ronald Cramer, Rolf Michelsen, Stig Mjølsnes, Frank Muller, Torben Pedersen, Birgit Pfitzmann, Peter de Rooij, Berry Schoenmakers, Matthias Schunter, Luc Vallée, Michael Waidner, pp. 217-230, 1994.
Mok, Aloysius K.
- TINMAN: A Resource Bound Security Checking System for Mobile Code, Aloysius K. Mok, Weijiang Yu, pp. 178-193, 2002.
Molva, Refik
- KryptoKnight Authentication and Key Distribution System, Refik Molva, Gene Tsudik, Els Van Herreweghen, Stefano Zatti, pp. 155-174, 1992.
- Robust and Secure Password and Key Change Method, Ralf Hauser, Philippe Janson, Refik Molva, Gene Tsudik, Els Van Herreweghen, pp. 107-122, 1994.
- Limitations of the Approach of Solving a Network's Security Problems with a Firewall, Stefano Zatti, Refik Molva, Angelo Tosi, Gene Tsudik, pp. 144-145, 1996.
- A Distributed Access Control Model for Java, Refik Molva, Yves Roudier, pp. 291-308, 2000.
Motro, Amihai
- Aggregation in Relational Databases: Controlled Disclosure of Sensitive Information, Amihai Motro, Donald G. Marks, Sushil Jajodia, pp. 431-445, 1994.
- Enhancing the Controlled Disclosure of Sensitive Information, Donald S. Marks, Amihai Motro, Sushil Jajodia, pp. 290-303, 1996.
Muller, Frank
- The ESPRIT Project CAFE - High Security Digital Payment Systems -, Jean-Paul Boly, Antoon Bosselaers, Ronald Cramer, Rolf Michelsen, Stig Mjølsnes, Frank Muller, Torben Pedersen, Birgit Pfitzmann, Peter de Rooij, Berry Schoenmakers, Matthias Schunter, Luc Vallée, Michael Waidner, pp. 217-230, 1994.
Mutz, Darren
- On the Detection of Anomalous System Call Arguments, Christopher Kruegel, Darren Mutz, Fredrik Valeur, Giovanni Vigna, pp. 326-343, 2003.
Mé, Ludovic
- An Improved Reference Flow Control Model for Policy-Based Intrusion Detection, Jacob Zimmermann, Ludovic Mé, Christophe Bidan, pp. 291-308, 2003.
Mödersheim, Sebastian
- An On-the-Fly Model-Checker for Security Protocol Analysis, David Basin, Sebastian Mödersheim, Luca Viganò, pp. 253-270, 2003.
Müller-Quade, Jörn
- Initiator-Resilient Universally Composable Key Exchange, Dennis Hofheinz, Jörn Müller-Quade, Rainer Steinwandt, pp. 61-84, 2003.

N

Nassehi, Mehdi
- Fixed vs. Variable-Length Patterns for Detecting Suspicious Process Behavior, Hervé Debar, Marc Dacier, Mehdi Nassehi, Andreas Wespi, pp. 1-15, 1998.
Neumann, Heike
- A Sound Logic for Analysing Electronic Commerce Protocols, Volker Kessler, Heike Neumann, pp. 345-360, 1998.
Nicomette, Vincent
- A Multilevel Security Model For Distributed Object Systems, Vincent Nicomette, Yves Deswarte, pp. 80-98, 1996.
Numao, Masayuki
- Multi-round Secure Light-Weight Broadcast Exclusion Protocol with Pre-processing, Yuji Watanabe, Masayuki Numao, pp. 85-99, 2003.

O

O'Halloran, C.
- A Calculus of Information Flow, C. O'Halloran, pp. 147-159, 1990.
- Security through Type Analysis, C. O'Halloran, C. T. Sennett, pp. 75-89, 1994.
Ogata, Wakaha
- Bit Slice Auction Circuit, Kaoru Kurosawa, Wakaha Ogata, pp. 24-38, 2002.
von Oheimb, David
- Formal Security Analysis with Interacting State Machines, David von Oheimb, Volkmar Lotz, pp. 212-228, 2002.
- A Formal Security Model of the Infineon SLE 88 Smart Card Memory Management, David von Oheimb, Georg Walter, Volkmar Lotz, pp. 217-234, 2003.
Ortalo, Rodolphe
- A Flexible Method for Information System Security Policy Specification, Rodolphe Ortalo, pp. 67-84, 1998.

P

Pacault, J.-F.
- Harmonised Criteria for the Security Evaluation of IT Systems and Products, P. Casey, A. Brouwer, D. Herson, J.-F. Pacault, F. Taal, U. Van Essen, pp. 243-249, 1990.
Pailles, Jean-Claude
- An Identity-Based Scheme Providing Zero-Knowledge Authentication and Authenticated Key Exchange, Marc Girault, Jean-Claude Pailles, pp. 173-184, 1990.
Pal, Shankar
- The Impact of Multilevel Security on Database Buffer Management, Andrew Warner, Qiang Li, Thomas Keefe, Shankar Pal, pp. 266-289, 1996.
Parasiliti Provenza, Loredana
- Signature and Access Control Policies for XML Documents, Elisa Bertino, Elena Ferrari, Loredana Parasiliti Provenza, pp. 1-22, 2003.
Parisi-Presicce, Francesco
- A Formal Model for Role-Based Access Control Using Graph Transformations, Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce, pp. 122-139, 2000.
- Decidability of Safety in Graph-based Models for Access Control, Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce, pp. 229-243, 2002.
Patarin, Jacques
- Pseudorandom Permutations Based on the D.E.S. Scheme, Jacques Patarin, pp. 185-187, 1990.
Paul, Olivier
- A Full Bandwidth ATM Firewall, Olivier Paul, Maryline Laurent, Sylvain Gombault, pp. 206-221, 2000.
Paulson, Lawrence C.
- Kerberos Version IV: Inductive Analysis of the Secrecy Goals, Giampaolo Bella, Lawrence C. Paulson, pp. 361-375, 1998.
- Formal Verification of Cardholder Registration in SET, Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano, pp. 159-174, 2000.
Pearson, Siani
- Towards Accountable Management of Privacy and Identity Information, Marco Casassa Mont, Siani Pearson, Pete Bramhall, pp. 146-161, 2003.
Pedersen, Torben
- The ESPRIT Project CAFE - High Security Digital Payment Systems -, Jean-Paul Boly, Antoon Bosselaers, Ronald Cramer, Rolf Michelsen, Stig Mjølsnes, Frank Muller, Torben Pedersen, Birgit Pfitzmann, Peter de Rooij, Berry Schoenmakers, Matthias Schunter, Luc Vallée, Michael Waidner, pp. 217-230, 1994.
Pernul, G.
- Security Constraint Processing in Multilevel Secure AMAC Schemata, G. Pernul, pp. 349-370, 1992.
Pfitzmann, Andreas
- Confidentiality-Preserving Refinement is Compositional - Sometimes, Thomas Santen, Maritta Heisel, Andreas Pfitzmann, pp. 194-211, 2002.
Pfitzmann, Birgit
- The ESPRIT Project CAFE - High Security Digital Payment Systems -, Jean-Paul Boly, Antoon Bosselaers, Ronald Cramer, Rolf Michelsen, Stig Mjølsnes, Frank Muller, Torben Pedersen, Birgit Pfitzmann, Peter de Rooij, Berry Schoenmakers, Matthias Schunter, Luc Vallée, Michael Waidner, pp. 217-230, 1994.
- Computational Probabilistic Non-interference, Michael Backes, Birgit Pfitzmann, pp. 1-23, 2002.
- A Toolkit for Managing Enterprise Privacy Policies, Michael Backes, Birgit Pfitzmann, Matthias Schunter, pp. 162-180, 2003.
- Symmetric Authentication within a Simulatable Cryptographic Library, Michael Backes, Birgit Pfitzmann, Michael Waidner, pp. 271-290, 2003.
Piveteau, Jean-Marc
- An Efficient Electronic Payment System Protecting Privacy, Jan L. Camenisch, Jean-Marc Piveteau, Markus A. Stadler, pp. 207-215, 1994.
Polemi, Despina
- EUROMED-JAVA: Trusted Third Party Services for Securing Medical Java Applets, Angelos Varvitsiotis, Despina Polemi, Andy Marsh, pp. 209-220, 1998.
Posegga, Joachim
- Byte Code Verification for Java Smart Cards Based on Model Checking, Joachim Posegga, Harald Vogt, pp. 175-190, 1998.
Preneel, Bart
- Authentication and Payment in Future Mobile Systems, Günter Horn, Bart Preneel, pp. 277-293, 1998.

Q

Quisquater, J.-J.
- Better Login Protocols for Computer Networks, D. de Waleffe, J.-J. Quisquater, pp. 163-172, 1990.

R

Rabin, Tal
- Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card, Helmut Scherzer, Ran Canetti, Paul A. Karger, Hugo Krawczyk, Tal Rabin, David C. Toll, pp. 181-200, 2003.
Randell, Brian
- An Object-Oriented View of Fragmented Data Processing for Fault and Intrusion Tolerance in Distributed Systems, Jean-Charles Fabre, Brian Randell, pp. 193-208, 1992.
Randell, Gill
- A Case Study in the Formal Refinement of a Distributed Secure System, Gill Randell, pp. 201-208, 1990.
Rannenberg, Kai
- How Much Negociation and Detail Can Users Handle? Experiences with Security Negociation and the Granularity of Access Control in Communications, Kai Rannenberg, pp. 37-54, 2000.
Reeves, Douglas S.
- Inter-Packet Delay Based Correlation for Tracing Encrypted Connections Through Stepping Stones, Xinyuan Wang, Douglas S. Reeves, S. Felix Wu, pp. 244-263, 2002.
Reichl, Peter
- Distributed Temporary Pseudonyms: A New Approach for Protecting Location Information in Mobile Communication Networks, Dogan Kesdogan, Peter Reichl, Klaus Junghärtchen, pp. 295-312, 1998.
Reif, Wolfgang
- Verification of a Formal Security Model for Multiapplicative Smart Cards, Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul Karger, Vernon Austel, David Toll, pp. 17-36, 2000.
Rito-Silva, António
- Authorization and Access Control in Adaptive Workflows, Dulce Domingos, António Rito-Silva, Pedro Veiga, pp. 23-38, 2003.
Robinson, C. L.
- A Consideration of the Modes of Operation for Secure Systems, C. L. Robinson, S. R. Wiseman, pp. 333-356, 1994.
de Rooij, Peter
- The ESPRIT Project CAFE - High Security Digital Payment Systems -, Jean-Paul Boly, Antoon Bosselaers, Ronald Cramer, Rolf Michelsen, Stig Mjølsnes, Frank Muller, Torben Pedersen, Birgit Pfitzmann, Peter de Rooij, Berry Schoenmakers, Matthias Schunter, Luc Vallée, Michael Waidner, pp. 217-230, 1994.
Roscoe, A. W.
- Non-interference through Determinism, A.W. Roscoe, J.C.P. Woodcock, L. Wulf, pp. 3-18, 1994.
- Automating Data Independence, P. J. Broadfoot, G. Lowe, A. W. Roscoe, pp. 175-190, 2000.
Rosti, E.
- A Tool for Pro-active Defense Against the Buffer Overrun Attack, D. Bruschi, E. Rosti, R. Banfi, pp. 17-31, 1998.
Roudier, Yves
- A Distributed Access Control Model for Java, Refik Molva, Yves Roudier, pp. 291-308, 2000.
Rullo, Pasquale
- An Authorization Model and Its Formal Semantics, Elisa Bertino, Francesco Buccafurri, Elena Ferrari, Pasquale Rullo, pp. 127-142, 1998.

S

Sailer, Reiner
- Authentication for Distributed Web Caches, James Giles, Reiner Sailer, Dinesh Verma, Suresh Chari, pp. 126-145, 2002.
Samarati, Pierangela
- An Authorization Model for Federated Systems, Sabrina De Capitani di Vimercati, Pierangela Samarati, pp. 99-117, 1996.
Sandhu, Ravi S.
- Polyinstantiation for Cover Stories, Ravi S. Sandhu, Sushil Jajodia, pp. 307-328, 1992.
- On the Expressive Power of the Unary Transformation Model, Ravi S. Sandhu, Srinivas Ganta, pp. 301-318, 1994.
- Supporting Object-based High-assurance Write-up in Multilevel Databases for the Replicated Architecture, Roshan K. Thomas, Ravi S. Sandhu, pp. 403-428, 1994.
- Role Hierarchies and Constraints for Lattice-Based Access Controls, Ravi Sandhu, pp. 65-79, 1996.
Santen, Thomas
- Confidentiality-Preserving Refinement is Compositional - Sometimes, Thomas Santen, Maritta Heisel, Andreas Pfitzmann, pp. 194-211, 2002.
Sapino, M.L.
- Merging Heterogeneous Security Orederings, P.A. Bonatti, M.L. Sapino, V.S. Subrahmanian, pp. 183-197, 1996.
Savic, Zoran
- Security Kernel Design and Implementation in the IBM PC Environment, Zoran Savic, Mihajlo Komocar, pp. 61-68, 1990.
Schairer, Axel
- Verification of a Formal Security Model for Multiapplicative Smart Cards, Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul Karger, Vernon Austel, David Toll, pp. 17-36, 2000.
Schellhorn, Gerhard
- Verification of a Formal Security Model for Multiapplicative Smart Cards, Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul Karger, Vernon Austel, David Toll, pp. 17-36, 2000.
Scherzer, Helmut
- Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card, Helmut Scherzer, Ran Canetti, Paul A. Karger, Hugo Krawczyk, Tal Rabin, David C. Toll, pp. 181-200, 2003.
Schmid, Pierre E.
- A Calculus for Secure Channel Establishment in Open Networks, Ueli M. Maurer, Pierre E. Schmid, pp. 175-192, 1994.
Schneider, Steve
- CSP and Anonymity, Steve Schneider, Abraham Sdiropoulos, pp. 198-218, 1996.
- Analysing Time Dependent Security Properties in CSP Using PVS, Neil Evans, Steve Schneider, pp. 222-237, 2000.
- Equal To The Task?, James Heather, Steve Schneider, pp. 162-177, 2002.
Schneier, Bruce
- Distributed Proctoring, Bruce Schneier, John Kelsey, Jay Walker, pp. 172-182, 1996.
- Side Channel Cryptanalysis of Product Ciphers, John Kelsey, Bruce Schneier, David Wagner, Chris Hall, pp. 97-110, 1998.
Schoenmakers, Berry
- The ESPRIT Project CAFE - High Security Digital Payment Systems -, Jean-Paul Boly, Antoon Bosselaers, Ronald Cramer, Rolf Michelsen, Stig Mjølsnes, Frank Muller, Torben Pedersen, Birgit Pfitzmann, Peter de Rooij, Berry Schoenmakers, Matthias Schunter, Luc Vallée, Michael Waidner, pp. 217-230, 1994.
Schunter, Matthias
- The ESPRIT Project CAFE - High Security Digital Payment Systems -, Jean-Paul Boly, Antoon Bosselaers, Ronald Cramer, Rolf Michelsen, Stig Mjølsnes, Frank Muller, Torben Pedersen, Birgit Pfitzmann, Peter de Rooij, Berry Schoenmakers, Matthias Schunter, Luc Vallée, Michael Waidner, pp. 217-230, 1994.
- A Toolkit for Managing Enterprise Privacy Policies, Michael Backes, Birgit Pfitzmann, Matthias Schunter, pp. 162-180, 2003.
Sdiropoulos, Abraham
- CSP and Anonymity, Steve Schneider, Abraham Sdiropoulos, pp. 198-218, 1996.
Seberry, Jennifer
- Authentication via Multi-Service Tickets in the Kuperee Server, Thomas Hardjono, Jennifer Seberry, pp. 143-160, 1994.
- Beacon Based Authentication, Azad Jiwa, Jennifer Seberry, Yuliang Zheng, pp. 125-141, 1994.
Sennett, C. T.
- Security through Type Analysis, C. O'Halloran, C. T. Sennett, pp. 75-89, 1994.
Sergot, Marek
- Formal Specification of Security Requirements using the Theory of Normative Positions, Andrew J. I. Jones, Marek Sergot, pp. 103-121, 1992.
Serjantov, Andrei
- Passive Attack Analysis for Connection-Based Anonymity Systems, Andrei Serjantov, Peter Sewell, pp. 116-131, 2003.
Sewell, Peter
- Passive Attack Analysis for Connection-Based Anonymity Systems, Andrei Serjantov, Peter Sewell, pp. 116-131, 2003.
Shiu, Simon
- Hardware Encapsulation of Security Services, Adrian Baldwin, Simon Shiu, pp. 201-216, 2003.
Siron, Pierre
- A Secure Medium Access Control Protocol: Security versus Performances, Pierre Siron, Bruno d'Ausbourg, pp. 267-279, 1994.
Smith, Sean W.
- Outbound Authentication for Programmable Secure Coprocessors, Sean W. Smith, pp. 72-89, 2002.
Sollins, Karen R.
- Towards Security in an Open Systems Federation, John A. Bull, Li Gong, Karen R. Sollins, pp. 5-20, 1992.
Soshi, Masakazu
- Safety Analysis of the Dynamic-Typed Access Matrix Model, Masakazu Soshi, pp. 106-121, 2000.
Stadler, Markus A.
- An Efficient Electronic Payment System Protecting Privacy, Jan L. Camenisch, Jean-Marc Piveteau, Markus A. Stadler, pp. 207-215, 1994.
- Digital Payment Systems with Passive Anonymity-Revoking Trustees, Jan Camenisch, Ueli Maurer, Markus Stadler, pp. 33-43, 1996.
- On the Security of Some Variants of the RSA Signature Scheme, Markus Michels, Markus Stadler, Hung-Min Sun, pp. 85-96, 1998.
Steiner, F.
- Authentication and Access Control in a Distributed System, G. Hoffmann, S. Lechner, M. Leclerc, F. Steiner, pp. 71-84, 1990.
Steinwandt, Rainer
- Initiator-Resilient Universally Composable Key Exchange, Dennis Hofheinz, Jörn Müller-Quade, Rainer Steinwandt, pp. 61-84, 2003.
Stewart Lee, E.
- An Architecture for a Trusted Network, E. Stewart Lee, Brian Thomson, Peter I. P. Boulton, Michael Stumm, pp. 105-113, 1990.
Stinson, Douglas R.
- Metering Schemes for General Access Structures, Barbara Masucci, Douglas R. Stinson, pp. 72-87, 2000.
Stroud, Robert J.
- Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code, Ian Welch, Robert J. Stroud, pp. 309-323, 2000.
Stumm, Michael
- An Architecture for a Trusted Network, E. Stewart Lee, Brian Thomson, Peter I. P. Boulton, Michael Stumm, pp. 105-113, 1990.
Subrahmanian, V.S.
- Merging Heterogeneous Security Orederings, P.A. Bonatti, M.L. Sapino, V.S. Subrahmanian, pp. 183-197, 1996.
Sun, Hung-Min
- On the Security of Some Variants of the RSA Signature Scheme, Markus Michels, Markus Stadler, Hung-Min Sun, pp. 85-96, 1998.
Swarup, Vipin
- Security for Mobile Agents: Authentification and State Appraisal, Willian M. Farmer, Joshua D. Guttman, Vipin Swarup, pp. 118-130, 1996.

T

Taal, F.
- Harmonised Criteria for the Security Evaluation of IT Systems and Products, P. Casey, A. Brouwer, D. Herson, J.-F. Pacault, F. Taal, U. Van Essen, pp. 243-249, 1990.
Talstra, J. C.
- MPEG PTY-Marks: Cheap Detection of Embedded Copyright Data in DVD-Video, J. P. M. G. Linnartz, J. C. Talstra, pp. 221-240, 1998.
Tarah, Anas
- CHIMÆRA: A Network Security Model, Anas Tarah, Christian Huitema, pp. 127-132, 1990.
- Associating Metrics to Certification Paths, Anas Tarah, Christian Huitema, pp. 173-189, 1992.
Thayer, F. Javier
- Authentication and Confidentiality via IPsec, Joshua D. Guttman, Amy L. Herzog, F. Javier Thayer, pp. 255-272, 2000.
Thomas, Roshan K.
- Supporting Object-based High-assurance Write-up in Multilevel Databases for the Replicated Architecture, Roshan K. Thomas, Ravi S. Sandhu, pp. 403-428, 1994.
Thomson, Brian
- An Architecture for a Trusted Network, E. Stewart Lee, Brian Thomson, Peter I. P. Boulton, Michael Stumm, pp. 105-113, 1990.
- Using Deducibility in Secure Network Modelling, Brian Thomson, pp. 117-123, 1990.
Toll, David C.
- Verification of a Formal Security Model for Multiapplicative Smart Cards, Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul Karger, Vernon Austel, David Toll, pp. 17-36, 2000.
- Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card, Helmut Scherzer, Ran Canetti, Paul A. Karger, Hugo Krawczyk, Tal Rabin, David C. Toll, pp. 181-200, 2003.
Tosi, Angelo
- Limitations of the Approach of Solving a Network's Security Problems with a Firewall, Stefano Zatti, Refik Molva, Angelo Tosi, Gene Tsudik, pp. 144-145, 1996.
Toussaint, Marie-Jeanne
- Separating the Specification and Implementation Phases in Cryptology, Marie-Jeanne Toussaint, pp. 77-101, 1992.
Tramontano, Piero
- Formal Verification of Cardholder Registration in SET, Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano, pp. 159-174, 2000.
Trouessin, G.
- Information Flow Controls vs Inference Controls: An Integrated Approach, F. Cuppens, G. Trouessin, pp. 447-468, 1994.
Tsudik, Gene
- KryptoKnight Authentication and Key Distribution System, Refik Molva, Gene Tsudik, Els Van Herreweghen, Stefano Zatti, pp. 155-174, 1992.
- Policy Enforcement in Stub Autonomous Domains, Gene Tsudik, pp. 229-257, 1992.
- Robust and Secure Password and Key Change Method, Ralf Hauser, Philippe Janson, Refik Molva, Gene Tsudik, Els Van Herreweghen, pp. 107-122, 1994.
- Limitations of the Approach of Solving a Network's Security Problems with a Firewall, Stefano Zatti, Refik Molva, Angelo Tosi, Gene Tsudik, pp. 144-145, 1996.
- Server-Supported Signatures, N. Asokan, G. Tsudik, M. Waidner, pp. 131-143, 1996.

V

Valeur, Fredrik
- On the Detection of Anomalous System Call Arguments, Christopher Kruegel, Darren Mutz, Fredrik Valeur, Giovanni Vigna, pp. 326-343, 2003.
Vallée, Luc
- The ESPRIT Project CAFE - High Security Digital Payment Systems -, Jean-Paul Boly, Antoon Bosselaers, Ronald Cramer, Rolf Michelsen, Stig Mjølsnes, Frank Muller, Torben Pedersen, Birgit Pfitzmann, Peter de Rooij, Berry Schoenmakers, Matthias Schunter, Luc Vallée, Michael Waidner, pp. 217-230, 1994.
Van Essen, U.
- Harmonised Criteria for the Security Evaluation of IT Systems and Products, P. Casey, A. Brouwer, D. Herson, J.-F. Pacault, F. Taal, U. Van Essen, pp. 243-249, 1990.
Van Herreweghen, Els
- KryptoKnight Authentication and Key Distribution System, Refik Molva, Gene Tsudik, Els Van Herreweghen, Stefano Zatti, pp. 155-174, 1992.
- Robust and Secure Password and Key Change Method, Ralf Hauser, Philippe Janson, Refik Molva, Gene Tsudik, Els Van Herreweghen, pp. 107-122, 1994.
- Secure Anonymous Signature-Based Transactions, Els Van Herreweghen, pp. 55-71, 2000.
Vandewalle, Joos
- A Hardware Design Model for Cryptographic Algorithms, Joan Daemen, René Govaerts, Joos Vandewalle, pp. 417-434, 1992.
Varvitsiotis, Angelos
- EUROMED-JAVA: Trusted Third Party Services for Securing Medical Java Applets, Angelos Varvitsiotis, Despina Polemi, Andy Marsh, pp. 209-220, 1998.
Veiga, Pedro
- Authorization and Access Control in Adaptive Workflows, Dulce Domingos, António Rito-Silva, Pedro Veiga, pp. 23-38, 2003.
Verma, Dinesh
- Authentication for Distributed Web Caches, James Giles, Reiner Sailer, Dinesh Verma, Suresh Chari, pp. 126-145, 2002.
Viganņ, Luca
- An On-the-Fly Model-Checker for Security Protocol Analysis, David Basin, Sebastian Mödersheim, Luca Viganò, pp. 253-270, 2003.
Vigna, Giovanni
- On the Detection of Anomalous System Call Arguments, Christopher Kruegel, Darren Mutz, Fredrik Valeur, Giovanni Vigna, pp. 326-343, 2003.
Vogt, Harald
- Byte Code Verification for Java Smart Cards Based on Model Checking, Joachim Posegga, Harald Vogt, pp. 175-190, 1998.

W

Wagner, David
- Side Channel Cryptanalysis of Product Ciphers, John Kelsey, Bruce Schneier, David Wagner, Chris Hall, pp. 97-110, 1998.
Waidner, Michael
- The ESPRIT Project CAFE - High Security Digital Payment Systems -, Jean-Paul Boly, Antoon Bosselaers, Ronald Cramer, Rolf Michelsen, Stig Mjølsnes, Frank Muller, Torben Pedersen, Birgit Pfitzmann, Peter de Rooij, Berry Schoenmakers, Matthias Schunter, Luc Vallée, Michael Waidner, pp. 217-230, 1994.
- Development of a Secure Electronic Marketplace for Europe, Michael Waidner, pp. 1-14, 1996.
- Server-Supported Signatures, N. Asokan, G. Tsudik, M. Waidner, pp. 131-143, 1996.
- Symmetric Authentication within a Simulatable Cryptographic Library, Michael Backes, Birgit Pfitzmann, Michael Waidner, pp. 271-290, 2003.
de Waleffe, D.
- Better Login Protocols for Computer Networks, D. de Waleffe, J.-J. Quisquater, pp. 163-172, 1990.
Walker, Jay
- Distributed Proctoring, Bruce Schneier, John Kelsey, Jay Walker, pp. 172-182, 1996.
Walter, Georg
- A Formal Security Model of the Infineon SLE 88 Smart Card Memory Management, David von Oheimb, Georg Walter, Volkmar Lotz, pp. 217-234, 2003.
Wang, Lingyu
- Cardinality-Based Inference Control in Sum-Only Data Cubes, Lingyu Wang, Duminda Wijesekera, Sushil Jajodia, pp. 55-71, 2002.
- Precisely Answering Multi-dimensional Range Queries without Privacy Breaches, Lingyu Wang, Yingjiu Li, Duminda Wijesekera, Sushil Jajodia, pp. 100-115, 2003.
Wang, Michael
- The Development and Testing of the Identity-based Conference Key Distribution System for the RHODOS Distributed System, Michael Wang, Andrzej Goscinski, pp. 209-228, 1992.
Wang, Xinyuan
- Inter-Packet Delay Based Correlation for Tracing Encrypted Connections Through Stepping Stones, Xinyuan Wang, Douglas S. Reeves, S. Felix Wu, pp. 244-263, 2002.
Warner, Andrew
- The Impact of Multilevel Security on Database Buffer Management, Andrew Warner, Qiang Li, Thomas Keefe, Shankar Pal, pp. 266-289, 1996.
Watanabe, Yuji
- Multi-round Secure Light-Weight Broadcast Exclusion Protocol with Pre-processing, Yuji Watanabe, Masayuki Numao, pp. 85-99, 2003.
Wedel, Gabriele
- Formal Semantics for Authentification Logics, Gabriele Wedel, Volker Kessler, pp. 219-241, 1996.
Welch, Ian
- Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code, Ian Welch, Robert J. Stroud, pp. 309-323, 2000.
Wespi, Andreas
- Fixed vs. Variable-Length Patterns for Detecting Suspicious Process Behavior, Hervé Debar, Marc Dacier, Mehdi Nassehi, Andreas Wespi, pp. 1-15, 1998.
Wiels, V.
- Checking Secure Interactions of Smart Card Applets, P. Bieber, J. Cazin, P. Girard, J.-L. Lanet, V. Wiels, G. Zanon, pp. 1-16, 2000.
Wijesekera, Duminda
- Cardinality-Based Inference Control in Sum-Only Data Cubes, Lingyu Wang, Duminda Wijesekera, Sushil Jajodia, pp. 55-71, 2002.
- Precisely Answering Multi-dimensional Range Queries without Privacy Breaches, Lingyu Wang, Yingjiu Li, Duminda Wijesekera, Sushil Jajodia, pp. 100-115, 2003.
Wilikens, Marc
- A Fully Compliant Research Implementation of the P3P Standard for Privacy Protection: Experiences and Recommendations, Giles Hogben, Tom Jackson, Marc Wilikens, pp. 104-125, 2002.
Wiseman, S. R.
- A Consideration of the Modes of Operation for Secure Systems, C. L. Robinson, S. R. Wiseman, pp. 333-356, 1994.
Wong, Pei Yuen
- Learning Fingerprints For A Database Intrusion Detection System, Sin Yeung Lee, Wai Lup Low, Pei Yuen Wong, pp. 264-280, 2002.
Woodcock, J.C.P.
- Non-interference through Determinism, A.W. Roscoe, J.C.P. Woodcock, L. Wulf, pp. 3-18, 1994.
Wu, Shyhtsun Felix
- Sleepy Network-Layer Authentification Service, Shyhtsun F. Wu, pp. 146-159, 1996.
- Inter-Packet Delay Based Correlation for Tracing Encrypted Connections Through Stepping Stones, Xinyuan Wang, Douglas S. Reeves, S. Felix Wu, pp. 244-263, 2002.
Wulf, L.
- Non-interference through Determinism, A.W. Roscoe, J.C.P. Woodcock, L. Wulf, pp. 3-18, 1994.

Y

Yazdanian, K.
- Relational Database Granularity, K. Yazdanian, pp. 15-21, 1990.
- Decomposition of Multilevel Objects in an Object-Oriented Database, N. Boulahia-Cuppens, F. Cuppens, A. Gabillon, K. Yazdanian, pp. 375-402, 1994.
Yoda, Kunikazu
- Finding a Connection Chain for Tracing Intruders, Kunikazu Yoda, Hiroaki Etoh, pp. 191-205, 2000.
Yu, Weijiang
- TINMAN: A Resource Bound Security Checking System for Mobile Code, Aloysius K. Mok, Weijiang Yu, pp. 178-193, 2002.

Z

Zanon, G.
- Checking Secure Interactions of Smart Card Applets, P. Bieber, J. Cazin, P. Girard, J.-L. Lanet, V. Wiels, G. Zanon, pp. 1-16, 2000.
Zatti, Stefano
- KryptoKnight Authentication and Key Distribution System, Refik Molva, Gene Tsudik, Els Van Herreweghen, Stefano Zatti, pp. 155-174, 1992.
- Limitations of the Approach of Solving a Network's Security Problems with a Firewall, Stefano Zatti, Refik Molva, Angelo Tosi, Gene Tsudik, pp. 144-145, 1996.
Zheng, Yuliang
- Beacon Based Authentication, Azad Jiwa, Jennifer Seberry, Yuliang Zheng, pp. 125-141, 1994.
Zhou, Jianying
- Certified Electronic Mail, Jianying Zhou, Dieter Gollmann, pp. 160-171, 1996.
Zimmermann, Jacob
- An Improved Reference Flow Control Model for Policy-Based Intrusion Detection, Jacob Zimmermann, Ludovic Mé, Christophe Bidan, pp. 291-308, 2003.
Zorkadis, Vasilios
- Security versus Performance Requirements in Data Communication Systems, Vasilios Zorkadis, pp. 19-30, 1994.

Shortcuts: A B C D E F G H I J K L M N O P Q R S T V W Y Z - Main page