3605 search results - page 598 / 721 » Securing Security Policies in Autonomic Computing Systems |
TIC
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
USS
2004
14 years 12 hour ago
2004
A honeypot is a closely monitored network decoy serving several purposes: it can distract adversaries from more valuable machines on a network, can provide early warning about new...
DAC
2007
ACM
14 years 11 months ago
2007
ACM
Processing and storage of confidential or critical information is an every day occurrence in computing systems. The trustworthiness of computing devices has become an important co...
FCSC
2010
13 years 9 months ago
2010
Currently, with the evolution of virtualization technology, cloud computing mode has become more and more popular. However, people still concern the issues of the runtime integrity...
ISEC
2001
Springer
14 years 3 months ago
2001
Springer
A major problem facing the full deployment of business-to-consumer (B2C) e-commerce is the development of trust on the side of the consumer. People develop trust in a business thr...