Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540775041, 9783540775058

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

FORM : A Federated Rights Expression Model for Open DRM Frameworks

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77505-8_5 ◽

2007 ◽

pp. 45-59 ◽

Cited By ~ 2

Author(s):

Thierry Sans ◽

Frédéric Cuppens ◽

Nora Cuppens-Boulahia

Keyword(s):

Expression Model

Download Full-text

An Operational Semantics of Program Dependence Graphs for Unstructured Programs

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77505-8_22 ◽

2007 ◽

pp. 264-271

Author(s):

Souhei Ito ◽

Shigeki Hagihara ◽

Naoki Yonezaki

Keyword(s):

Operational Semantics ◽

Dependence Graphs ◽

Program Dependence

Download Full-text

Security Evaluation of a Type of Table-Network Implementation of Block Ciphers

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77505-8_1 ◽

2007 ◽

pp. 1-12 ◽

Cited By ~ 1

Author(s):

Akira Matsunaga ◽

Tsutomu Matsumoto

Keyword(s):

Block Ciphers ◽

Security Evaluation

Download Full-text

On Completeness of Logical Relations for Monadic Types

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77505-8_17 ◽

2007 ◽

pp. 223-230

Author(s):

Sławomir Lasota ◽

David Nowak ◽

Yu Zhang

Download Full-text

Certificateless Authenticated Two-Party Key Agreement Protocols

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77505-8_4 ◽

2007 ◽

pp. 37-44 ◽

Cited By ~ 24

Author(s):

Tarjei K. Mandt ◽

Chik How Tan

Keyword(s):

Key Agreement ◽

Agreement Protocols

Download Full-text

Proving Noninterference by a Fully Complete Translation to the Simply Typed λ-Calculus

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77505-8_24 ◽

2007 ◽

pp. 301-315 ◽

Cited By ~ 1

Author(s):

Naokata Shikuma ◽

Atsushi Igarashi

Keyword(s):

Complete Translation

Download Full-text

Modular Formalization of Reactive Modules in COQ

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77505-8_9 ◽

2007 ◽

pp. 105-119

Author(s):

Ming-Hsien Tsai ◽

Bow-Yaw Wang

Download Full-text

Efficient and Practical Control Flow Monitoring for Program Security

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77505-8_8 ◽

2007 ◽

pp. 90-104 ◽

Cited By ~ 1

Author(s):

Nai Xia ◽

Bing Mao ◽

Qingkai Zeng ◽

Li Xie

Keyword(s):

Control Flow ◽

Flow Monitoring

Download Full-text

An Approach to Formal Verification of Arithmetic Functions in Assembly

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77505-8_27 ◽

2007 ◽

pp. 346-360 ◽

Cited By ~ 5

Author(s):

Reynald Affeldt ◽

Nicolas Marti

Keyword(s):

Formal Verification ◽

Arithmetic Functions

Download Full-text

Maintaining Data Consistency of XML Databases Using Verification Techniques

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77505-8_21 ◽

2007 ◽

pp. 256-263

Author(s):

Khandoker Asadul Islam ◽

Yoshimichi Watanabe

Keyword(s):

Data Consistency ◽

Xml Databases ◽

Verification Techniques

Download Full-text

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

FORM : A Federated Rights Expression Model for Open DRM Frameworks

An Operational Semantics of Program Dependence Graphs for Unstructured Programs

Security Evaluation of a Type of Table-Network Implementation of Block Ciphers

On Completeness of Logical Relations for Monadic Types

Certificateless Authenticated Two-Party Key Agreement Protocols

Proving Noninterference by a Fully Complete Translation to the Simply Typed λ-Calculus

Modular Formalization of Reactive Modules in COQ

Efficient and Practical Control Flow Monitoring for Program Security

An Approach to Formal Verification of Arithmetic Functions in Assembly

Maintaining Data Consistency of XML Databases Using Verification Techniques

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues - Lecture Notes in Computer Science
Latest Publications