8644 search results - page 408 / 1729 » On the Composition of Secure Systems |
224
Voted
ICFCA
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
227
click to vote
WETICE
2005
IEEE
16 years 1 months ago
2005
IEEE
Policy-based messaging (PBM) aims at carrying security policies with messages, which will be enforced at recipient systems to provide security features. PBM promotes a distributed...
210
click to vote
CADE
2008
Springer
16 years 8 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
189
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...