653 search results - page 106 / 131 » A Logic of Secure Systems and its Application to Trusted Com... |
EUROCRYPT
1995
Springer
14 years 22 days ago
1995
Springer
We coiisider a situation where two parties, Alice and Bob, share a common secret string arid would like to mutually check their knowledge of that string. We describe a simple and e...
ACSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Recent research has proposed self-checksumming as a method by which a program can detect any possibly malicious modification to its code. Wurster et al. developed an attack again...
USENIX
1994
13 years 10 months ago
1994
As distributed computing systems grow in size, complexity and variety of application, the problem of protecting sensitive data from unauthorized disclosure and tampering becomes i...
DAC
1997
ACM
14 years 1 months ago
1997
ACM
This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of ...
ICNP
2000
IEEE
14 years 1 months ago
2000
IEEE
The X-Bone dynamically deploys and manages Internet overlays to reduce con®guration eort and increase network component sharing. The X-Bone discovers, con®gures, and monitors ...