8644 search results - page 150 / 1729 » On the Composition of Secure Systems |
167
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Reactivity on the Web is an emerging issue. The capability to automatically react to events (such as updates to Web resources) is essential for both Web services and Semantic Web ...
145
click to vote
DEXAW
2007
IEEE
16 years 27 days ago
2007
IEEE
We present a security engineering process based on security problem frames and concretized security problem frames. Both kinds of frames constitute patterns for analyzing security...
191
click to vote
IASTEDSEA
2004
15 years 8 months ago
2004
: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...
185
click to vote
ESORICS
1994
Springer
15 years 10 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
169
click to vote
ISSRE
2007
IEEE
15 years 8 months ago
2007
IEEE
While important efforts are dedicated to system functional testing, very few works study how to test specifically security mechanisms, implementing a security policy. This paper i...