2979 search results - page 332 / 596 » Modelling secure multiagent systems |
131
click to vote
RP
2009
Springer
15 years 11 months ago
2009
Springer
We describe the class of games with opacity condition, as an adequate model for security aspects of computing systems. We study their theoretical properties, relate them to reachab...
125
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Deterministic execution offers many benefits for debugging, fault tolerance, and security. Current methods of executing parallel programs deterministically, however, often incur h...
171
click to vote
WEBI
2004
Springer
15 years 10 months ago
2004
Springer
Business process describes a set of services that span enterprise boundaries and are provided by enterprises that see each other as partners. Web services is widely accepted and a...
147
click to vote
WORM
2003
15 years 6 months ago
2003
We present a general framework for reasoning about network worms and analyzing the potency of worms within a specific network. First, we present a discussion of the life cycle of ...
146
click to vote
CCS
2010
ACM
15 years 11 months ago
2010
ACM
Digital identity and trust management mechanisms play an important role on the Internet. They help users make decisions on trustworthiness of digital identities in online communit...