752 search results - page 38 / 151 » Abstract models for dialogue protocols |
153
click to vote
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
149
click to vote
INDOCRYPT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Contrary to conventional cryptographic wisdom, the NIST SP 800-56A standard explicitly allows the use of a static key pair in more than one of the key establishment proto...
118
click to vote
IH
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Traditionally, cryptographic protocols are described as a sequence of steps, in each of which one principal sends a message to another. It is assumed that the fundamental...
143
click to vote
INTERNET
2006
15 years 4 months ago
2006
Web services provide abstractions for simplifying integration at lower levels of the interaction stacks, they don't yet help simplify integration at higher abstraction levels ...
131
Voted
HCI
2001
15 years 5 months ago
2001
s, covering different levels of abstraction over the information exchanged. As the protocol is layered, we can discuss interaction in terms of different levels of granularity, bett...