3451 search results - page 467 / 691 » Collaborative attack modeling |
125
click to vote
ICRA
2003
IEEE
15 years 7 months ago
2003
IEEE
- In this paper, we propose a unitary tool for modeling and analysis of discrete event systems monitoring. Uncertain knowledge of such tasks asks specific reasoning and adapted fuz...
127
click to vote
ICECCS
1999
IEEE
15 years 6 months ago
1999
IEEE
Designing a software system's architecture properly is one of the most important tasks of any software engineering project. Nevertheless there exists no common definition of ...
133
Voted
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Securing broadcast communication over sensor networks is an important research challenge. In general, broadcast communication has two important metrics: security and re...
144
click to vote
CSFW
2006
IEEE
15 years 8 months ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
PADS
2005
ACM
15 years 8 months ago
2005
ACM
The RINSE simulator is being developed to support large-scale network security preparedness and training exercises, involving hundreds of players and a modeled network composed of...