8655 search results - page 213 / 1731 » Challenges for Trusted Computing |
79
Voted
DEXAW
2003
IEEE
15 years 4 months ago
2003
IEEE
The Platform for Privacy Preferences (P3P) can be a viable tool for organizations to clarify their privacy promises. In this paper, we summarize our experiences and describe some ...
DISCEX
2003
IEEE
15 years 4 months ago
2003
IEEE
The MYSEA project has produced an innovative architecture and corrresponding engineering prototype consisting of trusted security services and integrated operating system mechanis...
AMAST
2008
Springer
15 years 27 days ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
PST
2008
15 years 9 days ago
2008
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating and storing the proofs which are inh...
JCP
2007
14 years 10 months ago
2007
— Integrity of digital documents is a very important issue if they are to be legally binding. Common solutions, like digital signatures or message authentication codes, are based...