2270 search results - page 63 / 454 » Modelling Secure IT Systems - A Survey |
IWNAS
2008
IEEE
14 years 3 months ago
2008
IEEE
The security of wireless sensor networks is ever more important nowadays. Most of the proposed security protocols in wireless sensor networks are based on authentication and encry...
MODELS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This contribution gives an overview of various access control strategies in use in contemporary healthcare scenarios and shows how a broad variety of respective policies ...
IEEEARES
2006
IEEE
14 years 2 months ago
2006
IEEE
We present a new approach to integrated security and dependability evaluation, which is based on stochastic modelling techniques. Our proposal aims to provide operational measures...
PST
2008
13 years 10 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
SIGOPSE
2004
ACM
14 years 2 months ago
2004
ACM
We propose augmenting secure boot with a mechanism to protect against compromises to field-upgradeable devices. In particular, secure boot standards should verify the firmware o...