Journal of Computer Security

ISSNs: 0926-227X

I O S Press, Netherlands

FI (2012): 2, ISI indexed (2012): no

Central database

Journal

Publications

(3)

Published
Detecting and Preventing Type flaws at Static Time
Publication: Research - peer-review › Conference article – Annual report year: 2010
Published
Constraint Differentiation : Search-Space Reduction for the Constraint-Based Analysis of Security Protocols
Publication: Research - peer-review › Journal article – Annual report year: 2010
Published
Static Validation of Security Protocols
Publication: Research - peer-review › Journal article – Annual report year: 2005

ID: 50387