The SCEAS System
Navigation Menu

Conferences in DBLP

IEEE Computer Security Foundations Workshop (CSFW) (csfw)
1998 (conf/csfw/1998)

  1. Paul F. Syverson
    Weakly Secret Bit Commitment: Applications to Lotteries and Fair Exchange. [Citation Graph (0, 0)][DBLP]
    CSFW, 1998, pp:2-13 [Conf]
  2. Tuomas Aura
    On the Structure of Delegation Networks. [Citation Graph (0, 0)][DBLP]
    CSFW, 1998, pp:14-26 [Conf]
  3. Martín Abadi
    Two Facets of Authentication. [Citation Graph (0, 0)][DBLP]
    CSFW, 1998, pp:27-32 [Conf]
  4. Dennis M. Volpano, Geoffrey Smith
    Probabilistic Noninterference in a Concurrent Language. [Citation Graph (0, 0)][DBLP]
    CSFW, 1998, pp:34-43 [Conf]
  5. Fabio Martinelli
    Partial Model Checking and Theorem Proving for Ensuring Security Properties. [Citation Graph (0, 0)][DBLP]
    CSFW, 1998, pp:44-52 [Conf]
  6. Steve Schneider
    Formal Analysis of a Non-Repudiation Protocol. [Citation Graph (0, 0)][DBLP]
    CSFW, 1998, pp:54-65 [Conf]
  7. F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman
    Honest Ideals on Strand Spaces. [Citation Graph (0, 0)][DBLP]
    CSFW, 1998, pp:66-77 [Conf]
  8. Roberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine Meadows
    Panel Introduction: Varieties of Authentication. [Citation Graph (0, 0)][DBLP]
    CSFW, 1998, pp:79-82 [Conf]
  9. A. W. Roscoe
    Proving Security Protocols with Model Checkers by Data Independence Techniques. [Citation Graph (0, 0)][DBLP]
    CSFW, 1998, pp:84-95 [Conf]
  10. Gavin Lowe
    Towards a Completeness Result for Model Checking of Security Protocols. [Citation Graph (0, 0)][DBLP]
    CSFW, 1998, pp:96-105 [Conf]
  11. Vitaly Shmatikov, Ulrich Stern
    Efficient Finite-State Analysis for Large Security Protocols. [Citation Graph (0, 0)][DBLP]
    CSFW, 1998, pp:106-115 [Conf]
  12. Aris Zakinthinos, E. Stewart Lee
    Composing Secure Systems that have Emergent Properties. [Citation Graph (0, 0)][DBLP]
    CSFW, 1998, pp:117-122 [Conf]
  13. Frédéric Cuppens, Laurence Cholvy, Claire Saurel, Jérôme Carrère
    Merging Security Policies: Analysis of a Practical Example. [Citation Graph (0, 0)][DBLP]
    CSFW, 1998, pp:123-136 [Conf]
  14. Stephen H. Brackin
    Evaluating and Improving Protocol Analysis by Automatic Proof. [Citation Graph (0, 0)][DBLP]
    CSFW, 1998, pp:138-152 [Conf]
  15. Levente Buttyán, Sebastian Staamann, Uwe G. Wilhelm
    A Simple Logic for Authentication Protocol Design. [Citation Graph (0, 0)][DBLP]
    CSFW, 1998, pp:153-162 [Conf]
  16. Peter Y. A. Ryan, Dieter Gollmann, Li Gong, Günter Karjoth, Chris J. Mitchell
    Panel Introduction: The Security Impact of Distributed Computing Technologies. [Citation Graph (0, 0)][DBLP]
    CSFW, 1998, pp:164-166 [Conf]
  17. Sushil Jajodia, Luigi V. Mancini, Sanjeev Setia
    A Fair Locking Protocol for Multilevel Secure Databases. [Citation Graph (0, 0)][DBLP]
    CSFW, 1998, pp:168-178 [Conf]
  18. Raymond W. Yip, Karl N. Levitt
    Data Level Inference Detection in Database Systems. [Citation Graph (0, 0)][DBLP]
    CSFW, 1998, pp:179-189 [Conf]
  19. Jia-Ling Lin, Xiaoyang Sean Wang, Sushil Jajodia
    Abstraction-Based Misuse Detection: High-Level Specifications and Adaptable Strategies. [Citation Graph (0, 0)][DBLP]
    CSFW, 1998, pp:190-201 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002