Sciweavers

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