Presentation 1999/11/18
Protocol Specification Method Based on the Computation of the Knowledge State of the Protocol Entities (II)
Masatoshi Nakamata, Mario Cardona, Shigeo Tsujii,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) In this paper we present an algebraic method for computing the modal logic formula that represents the knowledge state of a protocol entity that executes a 2-party protocol. As example of the application of the method, the protocol exampled presented in reference [1] is computed.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) protocol specification / protocol entity, knowledge state
Paper # IN99-70
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) Protocol Specification Method Based on the Computation of the Knowledge State of the Protocol Entities (II)
Sub Title (in English)
Keyword(1) protocol specification
Keyword(2) protocol entity, knowledge state
1st Author's Name Masatoshi Nakamata
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-70
Volume (vol) vol.99
Number (no) 436
Page pp.pp.-
#Pages 6
Date of Issue