Sciweavers

CJ
2007
106views more  CJ 2007»
13 years 11 months ago
A Proof of Revised Yahalom Protocol in the Bellare and Rogaway (1993) Model
Although the Yahalom protocol, proposed by Burrows, Abadi, and Needham in 1990, is one of the most prominent key establishment protocols analyzed by researchers from the computer s...
Kim-Kwang Raymond Choo
CJ
2007
74views more  CJ 2007»
13 years 11 months ago
Describing Use-Case Relationships with Sequence Diagrams
Jesús Manuel Almendros-Jiménez, Luis...