Sciweavers

3811 search results - page 61 / 763
» The Safe-Tcl Security Model
Sort
View
SECRYPT
2010
132views Business» more  SECRYPT 2010»
14 years 9 months ago
Efficient Algorithmic Safety Analysis of HRU Security Models
Anja Fischer, Winfried E. Kühnhauser
SSIRI
2010
14 years 9 months ago
Model-Based Argument Analysis for Evolving Security Requirements
Thein Than Tun, Yijun Yu, Charles B. Haley, Bashar...
CORR
2009
Springer
55views Education» more  CORR 2009»
14 years 9 months ago
Security Theorems via Model Theory
Joshua D. Guttman
ICINCO
2009
124views Robotics» more  ICINCO 2009»
14 years 9 months ago
The Performance of OPC-UA Security Model at Field Device Level
Olli Post, Jari Seppälä, Hannu Koivisto
CORR
2010
Springer
48views Education» more  CORR 2010»
14 years 8 months ago
E-Net Models of a Software System for E-Mail Security
Nikolai Todorov Stoianov, Veselin Tsenov Tselkov