Sciweavers

5475 search results - page 24 / 1095
» Model Driven Security
Sort
View
ACISP
2008
Springer
15 years 6 months ago
Distributed Verification of Mixing - Local Forking Proofs Model
Jacek Cichon, Marek Klonowski, Miroslaw Kutylowski
72
Voted
IWSEC
2007
Springer
15 years 6 months ago
Generic Certificateless Encryption in the Standard Model
Qiong Huang, Duncan S. Wong
80
Voted
EUROPKI
2005
Springer
15 years 6 months ago
Modeling Public Key Infrastructures in the Real World
John Marchesini, Sean W. Smith
115
Voted
AGENTS
2001
Springer
15 years 5 months ago
HPTS: a behaviour modelling language for autonomous agents
Stéphane Donikian