1235 search results - page 110 / 247 » Formalizing information security knowledge |
MFCS
2010
Springer
13 years 6 months ago
2010
Springer
We address the strategy problem for ω-regular two-player games with partial information, played on finite game graphs. We consider two different kinds of observability on a gene...
AIME
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. Disease processes in patients are temporal in nature and involve uncertainty. It is necessary to gain insight into these processes when aiming at improving the diagnosis,...
INFFUS
2006
13 years 8 months ago
2006
In previous papers, we have presented a logic-based framework based on fusion rules for merging structured news reports [Hun00, Hun02b, Hun02a, HS03, HS04]. Structured news report...
CCS
2010
ACM
14 years 2 months ago
2010
ACM
In this paper, we introduce a framework for secure two-party (S2P) computations, which we call bureaucratic computing, and we demonstrate its efficiency by designing practical S2P...
CISC
2006
Springer
13 years 11 months ago
2006
Springer
Enterprises use security equipments in order to protect their information assets from various attacks such as viruses and hacking. However, such individual equipments hardly provid...