Conferences in DBLP
Pierre Bieber , Jacques Cazin , Pierre Girard , Jean-Louis Lanet , Virginie Wiels , Guy Zanon Checking Secure Interactions of Smart Card Applets. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Schellhorn , Wolfgang Reif , Axel Schairer , Paul A. Karger , Vernon Austel , David C. Toll Verification of a Formal Security Model for Multiapplicative Smart Cards. [Citation Graph (0, 0)][DBLP ] Conf ] Kai Rannenberg How Much Negotiation and Detail Can Users Handle? Experiences with Security Negotiation and the Granularity of Access Control in Communications. [Citation Graph (0, 0)][DBLP ] Conf ] Els Van Herreweghen Secure Anonymous Signature-Based Transactions. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara Masucci , Douglas R. Stinson Metering Schemes for General Access Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald Brose A Typed Access Control Model for CORBA. [Citation Graph (0, 0)][DBLP ] Conf ] Masakazu Soshi Safety Analysis of the Dynamic-Typed Access Matrix Model. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Koch , Luigi V. Mancini , Francesco Parisi-Presicce A Formal Model for Role-Based Access Control Using Graph Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Jon Howell , David Kotz A Formal Semantics for SPKI. [Citation Graph (0, 0)][DBLP ] Conf ] Giampaolo Bella , Fabio Massacci , Lawrence C. Paulson , Piero Tramontano Formal Verification of Cardholder Registration in SET. [Citation Graph (0, 0)][DBLP ] Conf ] Philippa J. Broadfoot , Gavin Lowe , A. W. Roscoe Automating Data Independence. [Citation Graph (0, 0)][DBLP ] Conf ] Kunikazu Yoda , Hiroaki Etoh Finding a Connection Chain for Tracing Intruders. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Paul , Maryline Laurent , Sylvain Gombault A Full Bandwidth ATM Firewall. [Citation Graph (0, 0)][DBLP ] Conf ] Neil Evans , Steve Schneider Analysing Time Dependent Security Properties in CSP Using PVS. [Citation Graph (0, 0)][DBLP ] Conf ] Heiko Mantel Unwinding Possibilistic Security Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Joshua D. Guttman , Amy L. Herzog , F. Javier Thayer Authentication and Confidentiality via IPSEC. [Citation Graph (0, 0)][DBLP ] Conf ] Ciarán Bryce A Security Framework for a Mobile Agent System. [Citation Graph (0, 0)][DBLP ] Conf ] Refik Molva , Yves Roudier A Distributed Access Control Model for Java. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Welch , Robert J. Stroud Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code. [Citation Graph (0, 0)][DBLP ] Conf ] 