Sciweavers

3811 search results - page 2 / 763
» The Safe-Tcl Security Model
Sort
View
IEEEARES
2006
IEEE
13 years 11 months ago
Model Driven Security
David A. Basin
ACSAC
2005
IEEE
13 years 11 months ago
Looking Back at the Bell-La Padula Model
The Bell-La Padula security model produced conceptual tools for the analysis and design of secure computer systems. Together with its sibling engineering initiatives, it identifi...
David Elliott Bell
IWSEC
2010
Springer
13 years 3 months ago
Security Metrics and Security Investment Models
Abstract. Planning information security investment is somewhere between art and science. This paper reviews and compares existing scientific approaches and discusses the relation ...
Rainer Böhme
CSFW
2008
IEEE
13 years 11 months ago
Cryptographically-Sound Protocol-Model Abstractions
Christoph Sprenger, David A. Basin
ACISP
2008
Springer
13 years 11 months ago
Distributed Verification of Mixing - Local Forking Proofs Model
Jacek Cichon, Marek Klonowski, Miroslaw Kutylowski