Conferences in DBLP

Foundations of Security Analysis and Design (fosad)
2008 (conf/fosad/2009)

1. 
   Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. [Citation Graph (, )][DBLP]
   
   
2. 
   An Introduction to Certificate Translation. [Citation Graph (, )][DBLP]
   
   
3. 
   Federated Identity Management. [Citation Graph (, )][DBLP]
   
   
4. 
   Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment. [Citation Graph (, )][DBLP]
   
   
5. 
   Logic in Access Control (Tutorial Notes). [Citation Graph (, )][DBLP]
   
   
6. 
   The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols. [Citation Graph (, )][DBLP]
   
   
7. 
   Verification of Concurrent Programs with Chalice. [Citation Graph (, )][DBLP]
   
   
8. 
   Certified Static Analysis by Abstract Interpretation. [Citation Graph (, )][DBLP]
   
   
9. 
   Resource Usage Analysis and Its Application to Resource Certification. [Citation Graph (, )][DBLP]
   
   
10. 
    Analysis of Security Threats, Requirements, Technologies and Standards in Wireless Sensor Networks. [Citation Graph (, )][DBLP]