106 search results - page 4 / 22 » A Trust Model with Statistical Foundation |
LICS
2002
IEEE
15 years 2 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Digital identity and trust management mechanisms play an important role on the Internet. They help users make decisions on trustworthiness of digital identities in online communit...
PODS
2007
ACM
15 years 9 months ago
2007
ACM
Many applications today need to manage large data sets with uncertainties. In this paper we describe the foundations of managing data where the uncertainties are quantified as pro...
SACMAT
2005
ACM
15 years 3 months ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
100
click to vote
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
We present a prototype of agent-based intrusion detection system designed for deployment on high-speed backbone networks. The main contribution of the system is the integration of...