Conferences in DBLP

IFIP WG 1.7 Publications (ifip1-7)
2009 (conf/ifip1-7/2009)

1. 
   Semantics and Enforcement of Expressive Information Flow Policies. [Citation Graph (, )][DBLP]
   
   
2. 
   An Algebra for Trust Dilution and Trust Fusion. [Citation Graph (, )][DBLP]
   
   
3. 
   HMM-Based Trust Model. [Citation Graph (, )][DBLP]
   
   
4. 
   Deriving Trust from Experience. [Citation Graph (, )][DBLP]
   
   
5. 
   Reflections on Trust: Trust Assurance by Dynamic Discovery of Static Properties. [Citation Graph (, )][DBLP]
   
   
6. 
   Model Checking of Security-Sensitive Business Processes. [Citation Graph (, )][DBLP]
   
   
7. 
   Analysing the Information Flow Properties of Object-Capability Patterns. [Citation Graph (, )][DBLP]
   
   
8. 
   Applied Quantitative Information Flow and Statistical Databases. [Citation Graph (, )][DBLP]
   
   
9. 
   Specification and Verification of Side Channel Declassification. [Citation Graph (, )][DBLP]
   
   
10. 
    Secure Information Flow for Distributed Systems. [Citation Graph (, )][DBLP]
    
    
11. 
    Probable Innocence in the Presence of Independent Knowledge. [Citation Graph (, )][DBLP]
    
    
12. 
    A Calculus of Trustworthy Ad Hoc Networks. [Citation Graph (, )][DBLP]
    
    
13. 
    Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties. [Citation Graph (, )][DBLP]
    
    
14. 
    Game-Based Verification of Multi-Party Contract Signing Protocols. [Citation Graph (, )][DBLP]
    
    
15. 
    Attack, Solution and Verification for Shared Authorisation Data in TCG TPM. [Citation Graph (, )][DBLP]
    
    
16. 
    Trusted Multiplexing of Cryptographic Protocols. [Citation Graph (, )][DBLP]
    
    
17. 
    Specifying and Modelling Secure Channels in Strand Spaces. [Citation Graph (, )][DBLP]
    
    
18. 
    Integrating Automated and Interactive Protocol Verification. [Citation Graph (, )][DBLP]
    
    
19. 
    A User Interface for a Game-Based Protocol Verification Tool. [Citation Graph (, )][DBLP]