Modeling and Formal Verification of Communication Protocols for Remote Procedure Call

Nilimesh Halder, J.B. Song, T. Islam

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	63-71
Journal	International Journal of Computer Science and Network Security
Volume	7
Issue number	7
Publication status	Published - 2007

Cite this

@article{75e2e9b835f84a59b2aeba075cda6ddd,

title = "Modeling and Formal Verification of Communication Protocols for Remote Procedure Call",

author = "Nilimesh Halder and J.B. Song and T. Islam",

year = "2007",

language = "English",

volume = "7",

pages = "63--71",

journal = "International Journal of Computer Science and Network Security",

issn = "1738-7906",

number = "7",

}

TY - JOUR

T1 - Modeling and Formal Verification of Communication Protocols for Remote Procedure Call

AU - Halder, Nilimesh

AU - Song, J.B.

AU - Islam, T.

PY - 2007

Y1 - 2007

M3 - Article

SN - 1738-7906

VL - 7

SP - 63

EP - 71

JO - International Journal of Computer Science and Network Security

JF - International Journal of Computer Science and Network Security

IS - 7

ER -