3605 search results - page 662 / 721 » Securing Security Policies in Autonomic Computing Systems |
ENTCS
2008
13 years 10 months ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
OSDI
2002
ACM
14 years 10 months ago
2002
ACM
Farsite is a secure, scalable file system that logically functions as a centralized file server but is physically distributed among a set of untrusted computers. Farsite provides ...
SIGCOMM
2009
ACM
14 years 4 months ago
2009
ACM
This paper describes a new architecture for achieving network virtualization using virtual NICs (VNICs) as the building blocks. The VNICs can be associated with dedicated and inde...
LCN
2005
IEEE
14 years 3 months ago
2005
IEEE
—TCP/IP protocol suite carries most application data in Internet. TCP flow retrieval has more security meanings than the IP packet payload. Hence, monitoring the TCP flow has mor...
CIS
2005
Springer
14 years 3 months ago
2005
Springer
Restrictive blind signatures allow a recipient to receive a blind signature on a message not known to the signer but the choice of message is restricted and must conform to certain...