293 search results - page 54 / 59 » Formal Security Analysis with Interacting State Machines |
ECAL
1995
Springer
13 years 11 months ago
1995
Springer
Arti cial Life and the more general area of Complex Systems does not have a uni ed theoretical framework although most theoretical work in these areas is based on simulation. This ...
ISI
2004
Springer
14 years 27 days ago
2004
Springer
Internet chatrooms are common means of interaction and communications, and they carry valuable information about formal or ad-hoc formation of groups with diverse objectives. This ...
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
Many sectors of the military are interested in Self-Organized (SO) systems because of their flexibility, versatility and economics. The military is researching and employing auto...
IAT
2010
IEEE
13 years 5 months ago
2010
IEEE
We utilize evolutionary game theory to study the evolution of cooperative societies and the behaviors of individual agents (i.e., players) in such societies. We present a novel pla...
SAC
2010
ACM
14 years 2 months ago
2010
ACM
CAPTCHAs protect online resources and services from automated access. From an attacker’s point of view, they are typically perceived as an annoyance that prevents the mass creat...