The SCEAS System
Navigation Menu

Conferences in DBLP

Conference on Computer and Communications Security (CCS) (ccs)
2005 (conf/ccs/2005fmse)

  1. Santiago Escobar, Catherine Meadows, José Meseguer
    A rewriting-based inference system for the NRL protocol analyzer: grammar generation. [Citation Graph (0, 0)][DBLP]
    FMSE, 2005, pp:1-12 [Conf]
  2. Michael Backes, Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh
    On fairness in simulatability-based cryptographic systems. [Citation Graph (0, 0)][DBLP]
    FMSE, 2005, pp:13-22 [Conf]
  3. Prateek Gupta, Vitaly Shmatikov
    Towards computationally sound symbolic analysis of key exchange protocols. [Citation Graph (0, 0)][DBLP]
    FMSE, 2005, pp:23-32 [Conf]
  4. Peter Chapin, Christian Skalka, Xiaoyang Sean Wang
    Risk assessment in distributed authorization. [Citation Graph (0, 0)][DBLP]
    FMSE, 2005, pp:33-42 [Conf]
  5. Avik Chaudhuri, Martín Abadi
    Formal security analysis of basic network-attached storage. [Citation Graph (0, 0)][DBLP]
    FMSE, 2005, pp:43-52 [Conf]
  6. Heiko Mantel
    The framework of selective interleaving functions and the modular assembly kit. [Citation Graph (0, 0)][DBLP]
    FMSE, 2005, pp:53-62 [Conf]
  7. Flavio D. Garcia, Ichiro Hasuo, Wolter Pieters, Peter van Rossum
    Provable anonymity. [Citation Graph (0, 0)][DBLP]
    FMSE, 2005, pp:63-72 [Conf]
  8. Saket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann
    Email feedback: a policy-based approach to overcoming false positives. [Citation Graph (0, 0)][DBLP]
    FMSE, 2005, pp:73-82 [Conf]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002