8503 search results - page 5 / 1701 » Secure Software Architectures |
COMPSAC
2010
IEEE
13 years 4 months ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
HIPEAC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper presents a new security architecture for protecting software confidentiality and integrity. Different from the previous process-centric systems designed for ...
VAMOS
2007
Springer
14 years 1 months ago
2007
Springer
Software products often need to vary in terms of functionality, but also in terms of quality attributes. We describe KumbangSec, which in an approach for modelling functional and ...
COMPSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper shows how an architecture description notation that has support for timed events can be used to provide a meta-language for specifying exact communication semantics. Th...
APSCC
2008
IEEE
13 years 9 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...