1536 search results - page 115 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
HICSS
2006
IEEE
15 years 4 months ago
2006
IEEE
A new model for representing temporal access control policies is introduced. In this model, temporal authorizations are represented by time attributes associated with subjects and...
IROS
2006
IEEE
15 years 3 months ago
2006
IEEE
- We have been studying the technologizing of skill of the medical doctor in the medical diagnosis such as dialysis related amyloid arthropathy (DRAA) by ultrasonographic images. P...
105
click to vote
SWS
2004
ACM
15 years 3 months ago
2004
ACM
The Platform for Privacy Preferences (P3P), developed by the W3C, provides an XML-based language for websites to encode their datacollection and data-use practices in a machine-re...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We study privacy guarantees for the owner of an information system who wants to share some of the information in the system with clients while keeping some other informat...
SP
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper, we propose BIND (Binding Instructions aNd Data),1 a fine-grained attestation service for securing distributed systems. Code attestation has recently received consi...