Sciweavers

3821 search results - page 120 / 765
» A Security Model for Aglets
Sort
View
116
Voted
FM
2003
Springer
115views Formal Methods» more  FM 2003»
15 years 8 months ago
SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis
Alessandro Armando, Luca Compagna, Pierre Ganty
115
Voted
ASIAN
1999
Springer
86views Algorithms» more  ASIAN 1999»
15 years 7 months ago
Security Modeling and Evaluation for the Mobile Code Paradigm
Anthony H. W. Chan, Michael R. Lyu
IH
1998
Springer
15 years 7 months ago
Modeling the Security of Steganographic Systems
Jan Zöllner, Hannes Federrath, Herbert Kliman...