Advances in Computer Science - ASIAN 2009. Information Security and Privacy - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642106217, 9783642106224

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Logic for Formal Verification of Quantum Programs

Advances in Computer Science - ASIAN 2009. Information Security and Privacy - Lecture Notes in Computer Science ◽

10.1007/978-3-642-10622-4_7 ◽

2009 ◽

pp. 79-93 ◽

Cited By ~ 9

Author(s):

Yoshihiko Kakutani

Keyword(s):

Formal Verification

Download Full-text

A Dolev-Yao Model for Zero Knowledge

Advances in Computer Science - ASIAN 2009. Information Security and Privacy - Lecture Notes in Computer Science ◽

10.1007/978-3-642-10622-4_11 ◽

2009 ◽

pp. 137-146 ◽

Cited By ~ 3

Author(s):

Anguraj Baskar ◽

R. Ramanujam ◽

S. P. Suresh

Keyword(s):

Zero Knowledge

Download Full-text

“Logic Wins!”

Advances in Computer Science - ASIAN 2009. Information Security and Privacy - Lecture Notes in Computer Science ◽

10.1007/978-3-642-10622-4_1 ◽

2009 ◽

pp. 1-16

Author(s):

Jean Goubault-Larrecq

Download Full-text

Trusted Deployment of Virtual Execution Environment in Grid Systems

Advances in Computer Science - ASIAN 2009. Information Security and Privacy - Lecture Notes in Computer Science ◽

10.1007/978-3-642-10622-4_10 ◽

2009 ◽

pp. 124-136 ◽

Cited By ~ 1

Author(s):

Deqing Zou ◽

Jinjiu Long ◽

Hai Jin

Keyword(s):

Grid Systems ◽

Virtual Execution ◽

Execution Environment

Download Full-text

Reducing Equational Theories for the Decision of Static Equivalence

Advances in Computer Science - ASIAN 2009. Information Security and Privacy - Lecture Notes in Computer Science ◽

10.1007/978-3-642-10622-4_8 ◽

2009 ◽

pp. 94-108 ◽

Cited By ~ 2

Author(s):

Steve Kremer ◽

Antoine Mercier ◽

Ralf Treinen

Keyword(s):

Equational Theories ◽

Static Equivalence

Download Full-text

A Special Proxy Signature Scheme with Multi-warrant

Advances in Computer Science - ASIAN 2009. Information Security and Privacy - Lecture Notes in Computer Science ◽

10.1007/978-3-642-10622-4_12 ◽

2009 ◽

pp. 147-157 ◽

Cited By ~ 1

Author(s):

Jianhong Zhang ◽

Hua Chen ◽

Shengnan Gao ◽

Yixian Yang

Keyword(s):

Proxy Signature ◽

Signature Scheme

Download Full-text

Noninterference with Dynamic Security Domains and Policies

Advances in Computer Science - ASIAN 2009. Information Security and Privacy - Lecture Notes in Computer Science ◽

10.1007/978-3-642-10622-4_5 ◽

2009 ◽

pp. 54-68 ◽

Cited By ~ 7

Author(s):

Robert Grabowski ◽

Lennart Beringer

Keyword(s):

Dynamic Security

Download Full-text

Deducibility Constraints

Advances in Computer Science - ASIAN 2009. Information Security and Privacy - Lecture Notes in Computer Science ◽

10.1007/978-3-642-10622-4_3 ◽

2009 ◽

pp. 24-38 ◽

Cited By ~ 1

Author(s):

Sergiu Bursuc ◽

Hubert Comon-Lundh ◽

Stéphanie Delaune

Download Full-text

A Simulation-Based Treatment of Authenticated Message Exchange

Advances in Computer Science - ASIAN 2009. Information Security and Privacy - Lecture Notes in Computer Science ◽

10.1007/978-3-642-10622-4_9 ◽

2009 ◽

pp. 109-123 ◽

Cited By ~ 1

Author(s):

Klaas Ole Kürtz ◽

Henning Schnoor ◽

Thomas Wilke

Keyword(s):

Simulation Based ◽

Message Exchange

Download Full-text

Higher-Order Program Verification and Language-Based Security

Advances in Computer Science - ASIAN 2009. Information Security and Privacy - Lecture Notes in Computer Science ◽

10.1007/978-3-642-10622-4_2 ◽

2009 ◽

pp. 17-23 ◽

Cited By ~ 1

Author(s):

Naoki Kobayashi

Keyword(s):

Program Verification ◽

Higher Order ◽

Language Based Security

Download Full-text

Advances in Computer Science - ASIAN 2009. Information Security and Privacy - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Logic for Formal Verification of Quantum Programs

A Dolev-Yao Model for Zero Knowledge

“Logic Wins!”

Trusted Deployment of Virtual Execution Environment in Grid Systems

Reducing Equational Theories for the Decision of Static Equivalence

A Special Proxy Signature Scheme with Multi-warrant

Noninterference with Dynamic Security Domains and Policies

Deducibility Constraints

A Simulation-Based Treatment of Authenticated Message Exchange

Higher-Order Program Verification and Language-Based Security

Advances in Computer Science - ASIAN 2009. Information Security and Privacy - Lecture Notes in Computer Science
Latest Publications