The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Michele Bugliesi, Riccardo Focardi, Matteo Maffei
    Authenticity by tagging and typing. [Citation Graph (0, 0)][DBLP]
    FMSE, 2004, pp:1-12 [Conf]
  2. Gilles Barthe, Leonor Prensa Nieto
    Formally verifying information flow type systems for concurrent and thread systems. [Citation Graph (0, 0)][DBLP]
    FMSE, 2004, pp:13-22 [Conf]
  3. Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader
    Timed model checking of security protocols. [Citation Graph (0, 0)][DBLP]
    FMSE, 2004, pp:23-32 [Conf]
  4. Phan Minh Dung, Phan Minh Thang
    Stepwise development of security protocols: a speech act-oriented approach. [Citation Graph (0, 0)][DBLP]
    FMSE, 2004, pp:33-44 [Conf]
  5. Lingyu Wang, Duminda Wijesekera, Sushil Jajodia
    A logic-based framework for attribute based access control. [Citation Graph (0, 0)][DBLP]
    FMSE, 2004, pp:45-55 [Conf]
  6. Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
    Synthesising verified access control systems in XACML. [Citation Graph (0, 0)][DBLP]
    FMSE, 2004, pp:56-65 [Conf]
  7. Tomás E. Uribe, Steven Cheung
    Automatic analysis of firewall and network intrusion detection system configurations. [Citation Graph (0, 0)][DBLP]
    FMSE, 2004, pp:66-74 [Conf]
  8. Thuong Doan, Steven A. Demurjian, T. C. Ting, Andreas Ketterl
    MAC and UML for secure software design. [Citation Graph (0, 0)][DBLP]
    FMSE, 2004, pp:75-85 [Conf]
  9. Brant Hashii
    Lessons learned using alloy to formally specify MLS-PCA trusted security architecture. [Citation Graph (0, 0)][DBLP]
    FMSE, 2004, pp:86-95 [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