Sciweavers

7329 search results - page 14 / 1466
» Network Extractor Protocols
Sort
View
105
Voted
AINA
2007
IEEE
15 years 6 months ago
Rank Theorems for Forward Secrecy in Group Key Management Protocols
Amjad Gawanmeh, Sofiène Tahar
ICNP
1995
IEEE
15 years 6 months ago
Protocol synthesis using basic Lotos and global variables
Ahmed Khoumsi, Gregor von Bochmann
ICNP
1995
IEEE
15 years 6 months ago
Implementation method of high speed protocol as transport library
Yutaka Miyake, Toshihiko Kato, Kenji Suzuki
58
Voted
ICNP
1995
IEEE
15 years 6 months ago
Protocol synthesis from timed and structured specifications
Akio Nakata, Teruo Higashino, Kenichi Taniguchi