Sciweavers

3821 search results - page 120 / 765
» A Security Model for Aglets
Sort
View
FM
2003
Springer
115views Formal Methods» more  FM 2003»
14 years 1 months 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»
14 years 3 days ago
Security Modeling and Evaluation for the Mobile Code Paradigm
Anthony H. W. Chan, Michael R. Lyu
IH
1998
Springer
14 years 1 days ago
Modeling the Security of Steganographic Systems
Jan Zöllner, Hannes Federrath, Herbert Kliman...