1235 search results - page 30 / 247 » Formalizing information security knowledge |
138
click to vote
ESORICS
2012
Springer
13 years 4 months ago
2012
Springer
Given the sensitive nature of health data, privacy of eHealth systems is of prime importance. An eHealth system must enforce that users remain private, even if they are bribed or c...
102
click to vote
CSFW
2002
IEEE
15 years 7 months ago
2002
IEEE
We introduce a general framework for reasoning about secrecy requirements in multiagent systems. Because secrecy requirements are closely connected with the knowledge of individua...
209
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...
108
click to vote
KCAP
2009
ACM
15 years 9 months ago
2009
ACM
Ontologies are conceptual models of particular domains, and domains can be modeled differently, representing different opinions, beliefs or perspectives. In other terms, ontolog...
117
Voted
WWW
2007
ACM
16 years 3 months ago
2007
ACM
XACML has emerged as a popular access control language on the Web, but because of its rich expressiveness, it has proved difficult to analyze in an automated fashion. In this pape...