Sciweavers

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