Sciweavers

3811 search results - page 60 / 763
» The Safe-Tcl Security Model
Sort
View
JCS
2010
64views more  JCS 2010»
14 years 10 months ago
Finite models for formal security proofs
Jean Goubault-Larrecq
66
Voted
MONET
2010
85views more  MONET 2010»
14 years 10 months ago
A Secure Mechanism Design-Based and Game Theoretical Model for MANETs
Abderrezak Rachedi, Abderrahim Benslimane, Hadi Ot...
MATES
2010
Springer
14 years 9 months ago
Modelling Distributed Network Security in a Petri Net- and Agent-Based Approach
Simon Adameit, Tobias Betz, Lawrence Cabac, Floria...