The SCEAS System
Navigation Menu

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]

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