293 search results - page 48 / 59 » Formal Security Analysis with Interacting State Machines |
92
Voted
IFM
2004
Springer
15 years 7 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
DAS
2010
Springer
15 years 6 months ago
2010
Springer
Optical scan voting is considered by many to be the most trustworthy option for conducting elections because it provides an independently verifiable record of each voter’s inte...
125
click to vote
AGENTS
2001
Springer
15 years 6 months ago
2001
Springer
We present a framework that enables a belief-desire-intention (BDI) agent to dynamically choose its intention reconsideration policy in order to perform optimally in accordance wi...
135
Voted
CMSB
2007
Springer
15 years 7 months ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
115
click to vote
RAID
2010
Springer
14 years 11 months ago
2010
Springer
We introduce BotSwindler, a bait injection system designed to delude and detect crimeware by forcing it to reveal during the exploitation of monitored information. The implementati...