Search results for "CSFW"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Anindya Banerjee 0001, David A. Naumann	Secure Information Flow and Pointer Confinement in a Java-like Language.	CSFW	2002	DBLP DOI BibTeX RDF
1	Joshua D. Guttman	Security Protocol Design via Authentication Tests.	CSFW	2002	DBLP DOI BibTeX RDF
1	Vincent Simonet	Fine-Grained Information Flow Analysis for a \lambda Calculus with Sum Types.	CSFW	2002	DBLP DOI BibTeX RDF
1	Jean-Philippe Pouzol, Mireille Ducassé	Formal Specification of Intrusion Signatures and Detection Rules.	CSFW	2002	DBLP DOI BibTeX RDF
1	Michael Backes 0001, Birgit Pfitzmann, Michael Steiner 0001, Michael Waidner	Polynomial Fairness and Liveness.	CSFW	2002	DBLP DOI BibTeX RDF
1		15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 24-26 June 2002, Cape Breton, Nova Scotia, Canada	CSFW	2002	DBLP BibTeX RDF
1	Riccardo Focardi, Sabina Rossi	Information Flow Security in Dynamic Contexts.	CSFW	2002	DBLP DOI BibTeX RDF
1	Dominic Duggan	Cryptographic Types.	CSFW	2002	DBLP DOI BibTeX RDF
1	Somesh Jha, Thomas W. Reps	Analysis of SPKI/SDSI Certificates Using Model Checking.	CSFW	2002	DBLP DOI BibTeX RDF	certificate-chain discovery, certificate-set analysis, model checking, authorization, naming, pushdown system, SPKI/SDSI
1	Joseph Y. Halpern, Kevin R. O'Neill	Secrecy in Multiagent Systems.	CSFW	2002	DBLP DOI BibTeX RDF
1	Riccardo Pucella, Vicky Weissman	A Logic for Reasoning about Digital Rights.	CSFW	2002	DBLP DOI BibTeX RDF
1	Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov	A Formal Analysis of Some Properties of Kerberos 5 Using MSR.	CSFW	2002	DBLP DOI BibTeX RDF
1	Peng Liu 0005, Sushil Jajodia	Multi-Phase Damage Confinement in Database Systems for Intrusion Tolerance.	CSFW	2001	DBLP DOI BibTeX RDF	Damage Confinement, Database Security, Intrusion Tolerance
1	Véronique Cortier, Jonathan K. Millen, Harald Rueß	Proving Secrecy is Easy Enough.	CSFW	2001	DBLP DOI BibTeX RDF
1	Geoffrey Smith 0001	A New Type System for Secure Information Flow.	CSFW	2001	DBLP DOI BibTeX RDF
1	Joseph Y. Halpern, Ron van der Meyden	A Logical Reconstruction of SPKI.	CSFW	2001	DBLP DOI BibTeX RDF
1	Maritta Heisel, Andreas Pfitzmann, Thomas Santen	Confidentiality-Preserving Refinement.	CSFW	2001	DBLP DOI BibTeX RDF
1	Ajay Chander, John C. Mitchell, Drew Dean	A State-Transition Model of Trust Management and Access Control.	CSFW	2001	DBLP DOI BibTeX RDF
1	Eijiro Sumii, Benjamin C. Pierce	Logical Relations for Encryption.	CSFW	2001	DBLP DOI BibTeX RDF
1		14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 11-13 June 2001, Cape Breton, Nova Scotia, Canada	CSFW	2001	DBLP BibTeX RDF
1	Muriel Roger, Jean Goubault-Larrecq	Log Auditing through Model-Checking.	CSFW	2001	DBLP DOI BibTeX RDF
1	Andre Scedrov, Ran Canetti, Joshua D. Guttman, David A. Wagner 0001, Michael Waidner	Relating Cryptography and Cryptographic Protocols.	CSFW	2001	DBLP DOI BibTeX RDF
1	Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic	A Compositional Logic for Protocol Correctness.	CSFW	2001	DBLP DOI BibTeX RDF
1	Somesh Jha, Kymie M. C. Tan, Roy A. Maxion	Markov Chains, Classifiers, and Intrusion Detection.	CSFW	2001	DBLP DOI BibTeX RDF
1	Bruno Blanchet	An Efficient Cryptographic Protocol Verifier Based on Prolog Rules.	CSFW	2001	DBLP DOI BibTeX RDF
1	Michaël Rusinowitch, Mathieu Turuani	Protocol Insecurity with Finite Number of Sessions is NP-Complete.	CSFW	2001	DBLP DOI BibTeX RDF
1	Olivier Pereira, Jean-Jacques Quisquater	A Security Analysis of the Cliques Protocols Suites.	CSFW	2001	DBLP DOI BibTeX RDF
1	Heiko Mantel, Andrei Sabelfeld	A Generic Approach to the Security of Multi-Threaded Programs.	CSFW	2001	DBLP DOI BibTeX RDF
1	Steve Zdancewic, Andrew C. Myers	Robust Declassification.	CSFW	2001	DBLP DOI BibTeX RDF
1	Sylvan Pinsky, Edward Zieglar	Noninterference Equations for Nondeterministic Systems.	CSFW	2001	DBLP DOI BibTeX RDF
1	Åsa Hagström, Sushil Jajodia, Francesco Parisi-Presicce, Duminda Wijesekera	Revocations-A Classification.	CSFW	2001	DBLP DOI BibTeX RDF
1	Peter Y. A. Ryan, John D. McLean, Jonathan K. Millen, Virgil D. Gligor	Non-Interference: Who Needs It?	CSFW	2001	DBLP DOI BibTeX RDF
1	Marcelo P. Fiore, Martín Abadi	Computing Symbolic Models for Verifying Cryptographic Protocols.	CSFW	2001	DBLP DOI BibTeX RDF
1	Wenliang Du, Mikhail J. Atallah	Privacy-Preserving Cooperative Scientific Computations.	CSFW	2001	DBLP DOI BibTeX RDF
1	Andrew D. Gordon 0001, Alan Jeffrey	Authenticity by Typing for Security Protocols.	CSFW	2001	DBLP DOI BibTeX RDF
1	James Heather, Gavin Lowe, Steve A. Schneider	How to Prevent Type Flaw Attacks on Security Protocols.	CSFW	2000	DBLP DOI BibTeX RDF
1	Ernie Cohen	TAPS: A First-Order Verifier for Cryptographic Protocols.	CSFW	2000	DBLP DOI BibTeX RDF
1	Adrian Perrig, Dawn Song	Looking for Diamonds in the Desert - Extending Automatic Protocol Generation to Three-Party Authentication and Key Agreement Protocols.	CSFW	2000	DBLP DOI BibTeX RDF
1	Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe	Optimizing Protocol Rewrite Rules of CIL Specifications.	CSFW	2000	DBLP DOI BibTeX RDF
1	Jonathan K. Millen, Rebecca N. Wright	Reasoning about Trust and Insurance in a Public Key Infrastructure.	CSFW	2000	DBLP DOI BibTeX RDF	cryptography, trust, logic, certificate, public key infrastructure, insurance
1	Mads Dam, Pablo Giambiagi	Confidentiality for Mobile Code: The Case of a Simple Payment Protocol.	CSFW	2000	DBLP DOI BibTeX RDF	information flow, confidentiality, Mobile code
1	Günter Karjoth	An Operational Semantics of Java 2 Access Control.	CSFW	2000	DBLP DOI BibTeX RDF
1	Peter Sewell, Jan Vitek	Secure Composition of Untrusted Code: Wrappers and Causality Types.	CSFW	2000	DBLP DOI BibTeX RDF
1	Ninghui Li	Local Names in SPKI/SDSI.	CSFW	2000	DBLP DOI BibTeX RDF	SDSI, access control, logic programming, authorization, security policies, trust management, SPKI
1	Joshua D. Guttman, F. Javier Thayer	Protocol Independence through Disjoint Encryption.	CSFW	2000	DBLP DOI BibTeX RDF
1	Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli	Information Flow Analysis in a Discrete-Time Process Algebra.	CSFW	2000	DBLP DOI BibTeX RDF	Security, Real-time, Process Algebra, Non interference
1	Heiko Mantel	Possibilistic Definitions of Security - An Assembly Kit.	CSFW	2000	DBLP DOI BibTeX RDF	information flow, security models, non-interference
1		Proceedings of the 13th IEEE Computer Security Foundations Workshop, CSFW '00, Cambridge, England, UK, July 3-5, 2000	CSFW	2000	DBLP BibTeX RDF
1	Anthony E. Sale	Lorenz and Colossus.	CSFW	2000	DBLP DOI BibTeX RDF
1	Dennis M. Volpano	Secure Introduction of One-Way Functions.	CSFW	2000	DBLP DOI BibTeX RDF
1	Teresa F. Lunt	Foundations for Intrusion Detection?.	CSFW	2000	DBLP DOI BibTeX RDF
1	Andrei Sabelfeld, David Sands 0001	Probabilistic Noninterference for Multi-Threaded Programs.	CSFW	2000	DBLP DOI BibTeX RDF	probabilistic bisimulation, probabilistic scheduling, probabilistic covert channels, hook-up, type-system-based analysis, semantics, confidentiality, noninterference
1	Luigia Carlucci Aiello, Fabio Massacci	An Executable Specification Language for Planning Attacks to Security Protocols.	CSFW	2000	DBLP DOI BibTeX RDF	Model Checking, Verification, Logic Programs, Planning, Specification Language, Security Protocols
1	Tuomas Aura, Matt Bishop, Dean Sniegowski	Analyzing Single-Server Network Inhibition.	CSFW	2000	DBLP DOI BibTeX RDF
1	Anthony H. Dekker	C3PO: A Tool for Automatic Sound Cryptographic Protocol Analysis.	CSFW	2000	DBLP DOI BibTeX RDF	Cryptographic protocol, soundness, theorem prover, belief logic
1	Catherine Meadows 0001	Invariant Generation Techniques in Cryptographic Protocol Analysis.	CSFW	2000	DBLP DOI BibTeX RDF
1	James Heather, Steve A. Schneider	Towards Automatic Verification of Authentication Protocols on an Unbounded Network.	CSFW	2000	DBLP DOI BibTeX RDF
1	Pankaj Kakkar, Carl A. Gunter, Martín Abadi	Reasoning about Secrecy for Active Networks.	CSFW	2000	DBLP DOI BibTeX RDF
1	Iliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov	Relating Strands and Multiset Rewriting for Security Protocol Analysis.	CSFW	2000	DBLP DOI BibTeX RDF
1	Elisa Bertino, Elena Ferrari, Francesco Buccafurri, Pasquale Rullo	A Logical Framework for Reasoning on Data Access Control Policies.	CSFW	1999	DBLP DOI BibTeX RDF
1	Dawn Xiaodong Song	Athena: A New Efficient Automatic Checker for Security Protocol Analysis.	CSFW	1999	DBLP DOI BibTeX RDF
1	Colin O'Halloran	Trusted System Construction.	CSFW	1999	DBLP DOI BibTeX RDF
1	Joseph Y. Halpern, Ron van der Meyden	A Logic for SDSI's Linked Local Name Spaces.	CSFW	1999	DBLP DOI BibTeX RDF
1	Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami	Authentication via Localized Names.	CSFW	1999	DBLP DOI BibTeX RDF	Local Environments, Mobility, Authentication, Concurrency, Process Algebras
1	Pierre Bieber	Security Function Interactions.	CSFW	1999	DBLP DOI BibTeX RDF	Access Control, Formal methods, Computer security
1	Nancy A. Lynch	I/O Automaton Models and Proofs for Shared-Key Communication Systems.	CSFW	1999	DBLP DOI BibTeX RDF
1	Mei Lin Hui, Gavin Lowe	Safe Simplifying Transformations for Security Protocols.	CSFW	1999	DBLP DOI BibTeX RDF
1	A. W. Roscoe 0001, M. H. Goldsmith	What Is Intransitive Noninterference?	CSFW	1999	DBLP DOI BibTeX RDF
1	Alfred P. Maneki	Honest Functions and their Application to the Analysis of Cryptographic Protocols.	CSFW	1999	DBLP DOI BibTeX RDF
1	Peter Y. A. Ryan, Steve A. Schneider	Process Algebra and Non-Interference.	CSFW	1999	DBLP DOI BibTeX RDF
1	David Monniaux	Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief.	CSFW	1999	DBLP DOI BibTeX RDF	formal methods, cryptographic protocols, forward chaining, BAN logic
1	Ninghui Li, Joan Feigenbaum, Benjamin N. Grosof	A Logic-based Knowledge Representation for Authorization with Delegation.	CSFW	1999	DBLP DOI BibTeX RDF	non-monotonicity, conflict handling, knowledge representation, logic programs, Authorization, security policy, trust management, delegation
1	Dennis M. Volpano	Formalization and Proof of Secrecy Properties.	CSFW	1999	DBLP DOI BibTeX RDF
1	Antonio Durante, Riccardo Focardi, Roberto Gorrieri	CVS: A Compiler for the Analysis of Cryptographic Protocols.	CSFW	1999	DBLP DOI BibTeX RDF	Authentication, Process Algebras, Automatic Verification, Non-Interference
1	Catherine Meadows 0001	A Formal Framework and Evaluation Method for Network Denial of Service.	CSFW	1999	DBLP DOI BibTeX RDF
1	Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov	A Meta-Notation for Protocol Analysis.	CSFW	1999	DBLP DOI BibTeX RDF
1		Proceedings of the 12th IEEE Computer Security Foundations Workshop, CSFW 1999, Mordano, Italy, June 28-30, 1999	CSFW	1999	DBLP BibTeX RDF
1	Peter Sewell, Jan Vitek	Secure Composition of Insecure Components.	CSFW	1999	DBLP DOI BibTeX RDF
1	F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman	Mixed Strand Spaces.	CSFW	1999	DBLP DOI BibTeX RDF
1	Sushil Jajodia, Luigi V. Mancini, Sanjeev Setia	A Fair Locking Protocol for Multilevel Secure Databases.	CSFW	1998	DBLP DOI BibTeX RDF
1	Steve A. Schneider	Formal Analysis of a Non-Repudiation Protocol.	CSFW	1998	DBLP DOI BibTeX RDF
1		Proceedings of the 11th IEEE Computer Security Foundations Workshop, Rockport, Massachusetts, USA, June 9-11, 1998	CSFW	1998	DBLP BibTeX RDF
1	Tuomas Aura	On the Structure of Delegation Networks.	CSFW	1998	DBLP DOI BibTeX RDF
1	Frédéric Cuppens, Laurence Cholvy, Claire Saurel, Jérôme Carrère	Merging Security Policies: Analysis of a Practical Example.	CSFW	1998	DBLP DOI BibTeX RDF
1	Peter Y. A. Ryan, Dieter Gollmann, Li Gong, Günter Karjoth, Chris J. Mitchell	Panel Introduction: The Security Impact of Distributed Computing Technologies.	CSFW	1998	DBLP DOI BibTeX RDF
1	Stephen H. Brackin	Evaluating and Improving Protocol Analysis by Automatic Proof.	CSFW	1998	DBLP DOI BibTeX RDF
1	Vitaly Shmatikov, Ulrich Stern	Efficient Finite-State Analysis for Large Security Protocols.	CSFW	1998	DBLP DOI BibTeX RDF
1	Dennis M. Volpano, Geoffrey Smith 0001	Probabilistic Noninterference in a Concurrent Language.	CSFW	1998	DBLP DOI BibTeX RDF
1	Fabio Martinelli	Partial Model Checking and Theorem Proving for Ensuring Security Properties.	CSFW	1998	DBLP DOI BibTeX RDF
1	A. W. Roscoe 0001	Proving Security Protocols with Model Checkers by Data Independence Techniques.	CSFW	1998	DBLP DOI BibTeX RDF
1	Gavin Lowe	Towards a Completeness Result for Model Checking of Security Protocols.	CSFW	1998	DBLP DOI BibTeX RDF
1	Aris Zakinthinos, E. Stewart Lee	Composing Secure Systems that have Emergent Properties.	CSFW	1998	DBLP DOI BibTeX RDF
1	Paul F. Syverson	Weakly Secret Bit Commitment: Applications to Lotteries and Fair Exchange.	CSFW	1998	DBLP DOI BibTeX RDF
1	Martín Abadi	Two Facets of Authentication.	CSFW	1998	DBLP DOI BibTeX RDF
1	Levente Buttyán, Sebastian Staamann, Uwe G. Wilhelm	A Simple Logic for Authentication Protocol Design.	CSFW	1998	DBLP DOI BibTeX RDF
1	F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman	Honest Ideals on Strand Spaces.	CSFW	1998	DBLP DOI BibTeX RDF
1	Roberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine Meadows 0001	Panel Introduction: Varieties of Authentication.	CSFW	1998	DBLP DOI BibTeX RDF
1	Raymond W. Yip, Karl N. Levitt	Data Level Inference Detection in Database Systems.	CSFW	1998	DBLP DOI BibTeX RDF
1	Jia-Ling Lin, Xiaoyang Sean Wang, Sushil Jajodia	Abstraction-Based Misuse Detection: High-Level Specifications and Adaptable Strategies.	CSFW	1998	DBLP DOI BibTeX RDF
1	Kan Zhang	A Theory for System Security.	CSFW	1997	DBLP DOI BibTeX RDF

Publications at "CSFW"( http://dblp.L3S.de/Venues/CSFW )