Cover Image
Read Now

1
Published 2005
Springer US
Table of Contents: “... for Probabilistic Timed Automata -- Dynamic Security Labels and Noninterference (Extended Abstract) -- Formal...”
Cover Image
Read Now

2
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...Strategic Games on Defense Trees -- Timed Calculus of Cryptographic Communication -- A Semantic...”
Cover Image
Read Now

3
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... with Identity Escrow -- Towards Verification of Timed Non-repudiation Protocols...”
Cover Image
Read Now

4
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... with Registered Keyword Search -- Practicalization of a Range Test and Its Application to E-Auction -- Timed...”