718 search results - page 2 / 144 » Security protocols, properties, and their monitoring |
AGENTS
2000
Springer
13 years 9 months ago
2000
Springer
CCGRID
2005
IEEE
13 years 11 months ago
2005
IEEE
We have observed that supercomputing clusters made up of commodity off-the-shelf computers possess emergent properties that are apparent when these systems are considered as an in...
TARK
2007
Springer
13 years 11 months ago
2007
Springer
We introduce (i) a general class of security protocols with private channel as cryptographic primitive and (ii) a probabilistic epistemic logic to express properties of security pr...
SEFM
2007
IEEE
13 years 11 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
SENSYS
2009
ACM
14 years 2 days ago
2009
ACM
We will demonstrate a wireless sensor network system for the surveillance of critical areas and properties – e.g. borders. The system consists of up to 10 sensor nodes that moni...