77016 search results - page 14778 / 15404 » Modeling Modeling |
269
click to vote
CAV
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
205
Voted
CCS
2005
ACM
16 years 24 days ago
2005
ACM
Vulnerabilities that allow worms to hijack the control flow of each host that they spread to are typically discovered months before the worm outbreak, but are also typically disc...
220
click to vote
CCS
2005
ACM
16 years 24 days ago
2005
ACM
Automated trust negotiation is an approach which establishes trust between strangers through the bilateral, iterative disclosure of digital credentials. Sensitive credentials are ...
235
click to vote
CCS
2005
ACM
16 years 24 days ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
183
Voted
CCS
2005
ACM
16 years 24 days ago
2005
ACM
Human-memorable passwords are a mainstay of computer security. To decrease vulnerability of passwords to bruteforce dictionary attacks, many organizations enforce complicated pass...