1288 search results - page 11 / 258 » Securing aspect composition |
185
click to vote
JALC
2006
15 years 5 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...
144
click to vote
CSMR
2009
IEEE
15 years 10 months 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...
181
click to vote
COMPSAC
2008
IEEE
16 years 10 days 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...
148
Voted
CSFW
1999
IEEE
15 years 10 months 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...