105 search results - page 6 / 21 » Apply Model Checking to Security Analysis in Trust Managemen... |
SAC
2004
ACM
15 years 2 months ago
2004
ACM
Computational models of trust have been proposed for use in ubicomp environments for deciding whether to allow customers to pay with an e-purse or not. In order to build trust in ...
ACSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
The individual vulnerabilities of hosts on a network can be combined by an attacker to gain access that would not be possible if the hosts were not interconnected. Currently avail...
COMPSAC
2008
IEEE
15 years 3 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
COMCOM
2008
14 years 9 months ago
2008
Despite the advantages offered by pure Peer-to-Peer (P2P) networks (e.g. robustness and fault tolerance), a crucial requirement is to guarantee basic security properties, such as ...
CSFW
2010
IEEE
15 years 1 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...