949 search results - page 39 / 190 » Design methods for security and trust |
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
OSDI
2002
ACM
14 years 8 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 ...
NDSS
1998
IEEE
14 years 5 days ago
1998
IEEE
Systems that support mobile agents are increasingly being used on the global Internet. Security concerns dealing with the protection of the execution environment from malicious ag...
ACSAC
2007
IEEE
14 years 2 months ago
2007
IEEE
Integrity measurements provide a means by which distributed systems can assess the trustability of potentially compromised remote hosts. However, current measurement techniques si...
SWS
2004
ACM
14 years 1 months ago
2004
ACM
Through web service technology, distributed applications can be built in a exible manner, bringing tremendous power to applications on the web. However, this exibility poses sig...