Conferences in DBLP

Asian Computing Science Conference (ASIAN) (asian)
2006 (conf/asian/2006)

1. 
   Security Evaluation of a Type of Table-Network Implementation of Block Ciphers. [Citation Graph (, )][DBLP]
   
   
2. 
   A Symbolic Intruder Model for Hash-Collision Attacks. [Citation Graph (, )][DBLP]
   
   
3. 
   A Denotational Approach to Scope-Based Compensable Flow Language for Web Service. [Citation Graph (, )][DBLP]
   
   
4. 
   Certificateless Authenticated Two-Party Key Agreement Protocols. [Citation Graph (, )][DBLP]
   
   
5. 
   FORM : A Federated Rights Expression Model for Open DRM Frameworks. [Citation Graph (, )][DBLP]
   
   
6. 
   A Method of Safety Analysis for Runtime Code Update. [Citation Graph (, )][DBLP]
   
   
7. 
   Automata-Based Confidentiality Monitoring. [Citation Graph (, )][DBLP]
   
   
8. 
   Efficient and Practical Control Flow Monitoring for Program Security. [Citation Graph (, )][DBLP]
   
   
9. 
   Modular Formalization of Reactive Modules in COQ. [Citation Graph (, )][DBLP]
   
   
10. 
    Closing Internal Timing Channels by Transformation. [Citation Graph (, )][DBLP]
    
    
11. 
    Responsiveness in Process Calculi. [Citation Graph (, )][DBLP]
    
    
12. 
    Normal Proofs in Intruder Theories. [Citation Graph (, )][DBLP]
    
    
13. 
    Breaking and Fixing Public-Key Kerberos. [Citation Graph (, )][DBLP]
    
    
14. 
    Computational Soundness of Formal Indistinguishability and Static Equivalence. [Citation Graph (, )][DBLP]
    
    
15. 
    Secrecy Analysis in Protocol Composition Logic. [Citation Graph (, )][DBLP]
    
    
16. 
    A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations. [Citation Graph (, )][DBLP]
    
    
17. 
    On Completeness of Logical Relations for Monadic Types. [Citation Graph (, )][DBLP]
    
    
18. 
    A Spatial Logical Characterisation of Context Bisimulation. [Citation Graph (, )][DBLP]
    
    
19. 
    Information Hiding in the Join Calculus. [Citation Graph (, )][DBLP]
    
    
20. 
    Modeling Urgency in Component-Based Real-Time Systems. [Citation Graph (, )][DBLP]
    
    
21. 
    Maintaining Data Consistency of XML Databases Using Verification Techniques. [Citation Graph (, )][DBLP]
    
    
22. 
    An Operational Semantics of Program Dependence Graphs for Unstructured Programs. [Citation Graph (, )][DBLP]
    
    
23. 
    Combination of Abstractions in the ASTRÉE Static Analyzer. [Citation Graph (, )][DBLP]
    
    
24. 
    Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-Calculus. [Citation Graph (, )][DBLP]
    
    
25. 
    Formalization of CTL* in Calculus of Inductive Constructions. [Citation Graph (, )][DBLP]
    
    
26. 
    Inferring Disjunctive Postconditions. [Citation Graph (, )][DBLP]
    
    
27. 
    An Approach to Formal Verification of Arithmetic Functions in Assembly. [Citation Graph (, )][DBLP]