449 search results - page 44 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
112
click to vote
CCS
2005
ACM
15 years 7 months ago
2005
ACM
Protocols for authenticated key exchange (AKE) allow parties within an insecure network to establish a common session key which can then be used to secure their future communicati...
115
click to vote
CN
1999
15 years 1 months ago
1999
An optimization method is introduced for generating minimum-length test sequences taking into account timing constraints for FSM models of communication protocols. Due to active t...
133
click to vote
ICDAR
2005
IEEE
15 years 7 months ago
2005
IEEE
The table recognition literature contains many strategies specified informally as a sequence of operations, obscuring both models of table structure and the effects of individual...
108
click to vote
SAFECOMP
2007
Springer
15 years 7 months ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
133
click to vote
ESORICS
1994
Springer
15 years 5 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...