Presentation 1999/11/18
On the Extension of the Protocol Specification Method BaSed on the Computation of the Knowledge State of the Protocol Entities to Multi-Party protocols
Keita Tabata, Mario Cardona, Shigeo Tsujii,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) In this report we discuss how to extend the 2-party protocol specification method based on the computation of the knowledge state of the protocol entities, proposed by Nakamata et. al., to multi-party protocols. Specifically, we explain the conditions for synchronizing the execution of mutually independent 2-party protocols between multiple parties, and discuss the properties of the resulting multi-party protocol when the process algebra is used to specify the ordering of events that will enforce a desired synchronized execution of the independent protocols. A 3-party protocol resulting from the synchronized execution of two 2-party protocols is presented as example.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) knowledge state / multi-party protocol / process algebra
Paper # IN99-71
Date of Issue

Conference Information
Committee IN
Conference Date 1999/11/18(1days)
Place (in Japanese) (See Japanese page)
Place (in English)
Topics (in Japanese) (See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To Information Networks (IN)
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) On the Extension of the Protocol Specification Method BaSed on the Computation of the Knowledge State of the Protocol Entities to Multi-Party protocols
Sub Title (in English)
Keyword(1) knowledge state
Keyword(2) multi-party protocol
Keyword(3) process algebra
1st Author's Name Keita Tabata
1st Author's Affiliation Graduate School of Science and Engineering, Chuo University()
2nd Author's Name Mario Cardona
2nd Author's Affiliation NOKIA JAPAN
3rd Author's Name Shigeo Tsujii
3rd Author's Affiliation Faculty of Science and Engineering, Chuo University
Date 1999/11/18
Paper # IN99-71
Volume (vol) vol.99
Number (no) 436
Page pp.pp.-
#Pages 6
Date of Issue