1235 search results - page 173 / 247 » Formalizing information security knowledge |
112
click to vote
JMLR
2012
13 years 2 months ago
2012
Often when modeling structured domains, it is desirable to leverage information that is not naturally expressed as simply a label. Examples include knowledge about the evaluation ...
103
click to vote
FOSSACS
2009
Springer
15 years 6 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
123
click to vote
AAAI
2012
13 years 2 months ago
2012
The study of transportability aims to identify conditions under which causal information learned from experiments can be reused in a different environment where only passive obser...
AAAI
2008
15 years 2 months ago
2008
ar for abstract concepts, and a number of formally expressed, structural restrictions. Copyright c 2008, Association for the Advancement of Artificial Intelligence (www.aaai.org). ...
ECIS
2003
15 years 1 months ago
2003
Boundary and virtual organisation theory were used to study the implications of organisation level virtualisation for work units. A single case study in a geographically dispersed...