|
Degree
|
post-graduate student, National Research Nuclear University «MEPHI»
|
|
Articles
|
An iterative process of information exchange protocols development is suggested. Protocol visual modeling, protocol mathematical model analysis and protocol application analysis are the main stages of the process. Yanus protocol analyzer that implements extended SPI-calculus methods and IKAM network software package are presented. Read more...
|
