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