335 search results - page 14 / 67 » Reasoning about Probabilistic Security Using Task-PIOAs |
TSE
2010
14 years 10 months ago
2010
This paper presents an innovative model of a program’s internal behavior over a set of test inputs, called the probabilistic program dependence graph (PPDG), that facilitates pr...
84
Voted
CCS
2007
ACM
15 years 5 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
HAIS
2008
Springer
15 years 20 days ago
2008
Springer
This paper presents a multi-agent system for security control on industrial environments. The system uses a set of wireless technologies and software agents which integrate reasoni...
ICAC
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper we construct an evaluation framework for a self-healing system, VM-Rejuv – a virtual machine based rejuvenation scheme for web-application servers – using simple...
115
click to vote
ASIAN
2003
Springer
15 years 4 months ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...