8644 search results - page 213 / 1729 » On the Composition of Secure Systems |
165
click to vote
EUROPKI
2007
Springer
16 years 25 days ago
2007
Springer
Even more than in our physical world, in our digital world we need systems that meet the security objective of service providers and users in equal measure. This paper investigates...
178
click to vote
ICDCIT
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Organizations typically have multiple security policies operating together in the same system. The integration of multiple policies might be needed to achieve the desired...
156
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
162
click to vote
DGO
2003
15 years 8 months ago
2003
Software for encrypting email messages has been widely available for more than 15 years, but the emailusing public has failed to adopt secure messaging. This failure can be explai...
135
click to vote
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the...