Sciweavers

5475 search results - page 288 / 1095
» Model Driven Security
Sort
View
124
Voted
TISSEC
2002
76views more  TISSEC 2002»
15 years 6 months ago
A model of OASIS role-based access control and its support for active security
Jean Bacon, Ken Moody, Walt Yao
JCS
2010
64views more  JCS 2010»
15 years 5 months ago
Finite models for formal security proofs
Jean Goubault-Larrecq
127
Voted
MONET
2010
85views more  MONET 2010»
15 years 5 months ago
A Secure Mechanism Design-Based and Game Theoretical Model for MANETs
Abderrezak Rachedi, Abderrahim Benslimane, Hadi Ot...
MATES
2010
Springer
15 years 4 months ago
Modelling Distributed Network Security in a Petri Net- and Agent-Based Approach
Simon Adameit, Tobias Betz, Lawrence Cabac, Floria...
SECRYPT
2010
132views Business» more  SECRYPT 2010»
15 years 4 months ago
Efficient Algorithmic Safety Analysis of HRU Security Models
Anja Fischer, Winfried E. Kühnhauser