533 search results - page 20 / 107 » Verification of Distributed Firewalls |
SAC
2002
ACM
13 years 9 months ago
2002
ACM
ICFEM
2009
Springer
13 years 7 months ago
2009
Springer
EMSOFT
2006
Springer
13 years 12 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
CCS
2007
ACM
14 years 2 months ago
2007
ACM
Defending against denial-of-service (DoS) in a mobile ad hoc network (MANET) is challenging because the network topology is dynamic and nodes are selfish. In this paper, we propos...
ICFP
2007
ACM
14 years 10 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...