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]