211 search results - page 11 / 43 » A Message Recognition Protocol Based on Standard Assumptions |
CSFW
2009
IEEE
14 years 2 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
PE
2007
Springer
13 years 7 months ago
2007
Springer
Recent advances in multicasting over the Internet present new opportunities for improving communication performance in clusters of workstations. The standard IP multicast, however...
EDCC
1999
Springer
14 years 3 days ago
1999
Springer
We consider teams of mobile autonomous robot systems that coordinate their work via communication over a wireless local area network. In such a scenario, timely delivery and group...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In current speech recognition systems mainly Short-Time Fourier Transform based features like MFCC are applied. Dropping the short-time stationarity assumption of the voiced speec...
ICALP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this paper we attempt to formally study two very intuitive physical models: sealed envelopes and locked boxes, often used as illustrations for common cryptographic ope...