8644 search results - page 159 / 1729 » On the Composition of Secure Systems |
185
click to vote
GROUP
2010
ACM
15 years 4 months ago
2010
ACM
Online social production communities allow efficient construction of valuable and high-quality information sources. To be successful, community members must be effective at collab...
191
click to vote
JUCS
2008
15 years 6 months ago
2008
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...
178
click to vote
HYBRID
2010
Springer
15 years 11 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
332
click to vote
Lecture Notes
A comprehensive treatment of network security. Topics include remote access security, DMZ, firewalls, VPNs, PKI architecture, X.509 Public key infrastructure, web security, S-HTTP,...
149
click to vote
STORAGESS
2006
ACM
16 years 16 days ago
2006
ACM
This paper has three goals. (1) We try to debunk several held misconceptions about secure deletion: that encryption is an ideal solution for everybody, that existing data-overwrit...