Sciweavers

14850 search results - page 6 / 2970
» The Security of
Sort
View
CCS
2007
ACM
14 years 2 months ago
Model-based assurance of security controls
Yolanta Beres, Adrian Baldwin, Simon Shiu
IWSEC
2007
Springer
14 years 2 months ago
On Security Models and Compilers for Group Key Exchange Protocols
Emmanuel Bresson, Mark Manulis, Jörg Schwenk
IEEEARES
2006
IEEE
14 years 2 months ago
Model Driven Security
David A. Basin