529 search results - page 35 / 106 » Model checking detectability of attacks in multiagent system... |
USS
2008
13 years 10 months ago
2008
We analyze several recent schemes for watermarking network flows based on splitting the flow into intervals. We show that this approach creates time dependent correlations that en...
QSIC
2007
IEEE
14 years 2 months ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
IEEESCC
2006
IEEE
14 years 1 months ago
2006
IEEE
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...
ICPPW
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...
IMC
2004
ACM
14 years 1 months ago
2004
ACM
Malicious traffic from self-propagating worms and denialof-service attacks constantly threatens the everyday operation of Internet systems. Defending networks from these threats d...