1288 search results - page 11 / 258 » Securing aspect composition |
AOSD
2011
ACM
13 years 2 months ago
2011
ACM
JALC
2006
13 years 7 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
CSMR
2009
IEEE
14 years 12 days ago
2009
IEEE
Currently, most software systems have a dynamic nature and need to evolve at run-time. For this reason, the dynamic reconfiguration of software architectures is a challenge that m...
COMPSAC
2008
IEEE
14 years 2 months ago
2008
IEEE
The lifecycle mismatch between vehicles and their IT system poses a problem for the automotive industry. Such systems need to be open and extensible to provide customised function...
CSFW
1999
IEEE
14 years 15 hour ago
1999
IEEE
We use a compositional framework to model security architectures involving heterogeneous and distributed security functions. Our goal is to assist the ITSEC evaluation of suitabil...