Search results for "FASec"

Found 19 publication records. Showing 19 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link
1	Ali E. Abdallah, Peter Y. A. Ryan, Steve A. Schneider (eds.)	Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers	FASec	2003	DBLP DOI BibTeX RDF
1	Gethin Norman, Vitaly Shmatikov	Analysis of Probabilistic Contract Signing.	FASec	2002	DBLP DOI BibTeX RDF
1	Fred B. Schneider	Lifting Reference Monitors from the Kernel.	FASec	2002	DBLP DOI BibTeX RDF
1	Frédéric Oehl, Gérard Cécé, Olga Kouchnarenko, David Sinclair	Automatic Approximation for the Verification of Cryptographic Protocols.	FASec	2002	DBLP DOI BibTeX RDF
1	Sigrid Gürgens, Carsten Rudolph	Security Analysis of (Un-) Fair Non-repudiation Protocols.	FASec	2002	DBLP DOI BibTeX RDF
1	Felix C. Gärtner	Revisiting Liveness Properties in the Context of Secure Systems.	FASec	2002	DBLP DOI BibTeX RDF
1	Colin Boyd, Kapali Viswanathan	Towards a Formal Specification of the Bellare-Rogaway Model for Protocol Analysis.	FASec	2002	DBLP DOI BibTeX RDF
1	Joseph Y. Halpern, Riccardo Pucella	Modeling Adversaries in a Logic for Security Protocol Analysis.	FASec	2002	DBLP DOI BibTeX RDF
1	Antonio Durante, Roberto Di Pietro, Luigi V. Mancini	Formal Specification for Fast Automatic IDS Training.	FASec	2002	DBLP DOI BibTeX RDF
1	Dieter Gollmann	Analysing Security Protocols.	FASec	2002	DBLP DOI BibTeX RDF
1	Ernie Cohen	TAPS: The Last Few Slides.	FASec	2002	DBLP DOI BibTeX RDF
1	Susan Stepney	Critical Critical Systems.	FASec	2002	DBLP DOI BibTeX RDF
1	Andy Gordon 0001	Authenticity Types for Cryptographic Protocols.	FASec	2002	DBLP DOI BibTeX RDF
1	Mourad Debbabi, Josée Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi	Secure Self-certified Code for Java.	FASec	2002	DBLP DOI BibTeX RDF
1	Gordon Thomas Rohrmair, Gavin Lowe	Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area.	FASec	2002	DBLP DOI BibTeX RDF
1	Lawrence C. Paulson	Verifying the SET Protocol: Overview.	FASec	2002	DBLP DOI BibTeX RDF
1	Anthony Hall	Z Styles for Security Properties and Modern User Interfaces.	FASec	2002	DBLP DOI BibTeX RDF
1	David von Oheimb	Interacting State Machines: A Stateful Approach to Proving Security.	FASec	2002	DBLP DOI BibTeX RDF
1	Bart Preneel	Cryptographic Challenges: The Past and the Future.	FASec	2002	DBLP DOI BibTeX RDF

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