1653 search results - page 131 / 331 » Timed analysis of security protocols |
133
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
160
click to vote
ICQNM
2008
IEEE
15 years 9 months ago
2008
IEEE
We have begun to expand the NIST quantum key distribution (QKD) system into a quantum network to support secure cryptography. We are starting with a simple three-node network, one...
130
Voted
RIVF
2007
15 years 4 months ago
2007
— In this work we present the principles and experimental demonstration of a BB84 Quantum Key Distribution (QKD) one way system using fainted pulses and a Quadrature Phase-Shift-...
186
click to vote
WCET
2010
15 years 1 months ago
2010
The assumption of task independence has long been consubstantial with the formulation of many schedulability analysis techniques. That assumption is evidently advantageous for the...
182
click to vote
PE
2007
Springer
15 years 2 months ago
2007
Springer
This paper addresses the delay analysis and resource consumption in mobile ad hoc networks (MANETs) equipped with throwboxes. Throwboxes are stationary, wireless devices that act ...