610 search results - page 58 / 122 » Predicate-Based Key Exchange |
ICTAC
2004
Springer
14 years 2 months ago
2004
Springer
A switched probabilistic I/O automaton is a special kind of probabilistic I/O automaton (PIOA), enriched with an explicit mechanism to exchange control with its environment. Every ...
IWCM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract Image sequence processing techniques are an essential tool for the experimental investigation of dynamical processes such as exchange, growth, and transport processes. The...
CONEXT
2007
ACM
14 years 23 days ago
2007
ACM
Pocket Switched Networks (PSN) is a novel communication paradigm which aims to exploit the opportunistic contacts between mobile devices to exchange data over multiple hops. A key...
CSFW
1995
IEEE
14 years 11 days ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
CSREASAM
2006
13 years 10 months ago
2006
- This paper analyzes the secure protocols in the digital transmission copy protection (DTCP) specification. The full authentication protocol in the specification is a combination ...