Modeling and analysis of non-repudiation protocols by using Petri nets

Jisuanji Yanjiu yu Fazhan/Computer Research and Development

Volumn 42, Issue 9, 2005, Pages 1571-1577

  Li, Botao ^a   Luo, Junzhou ^a  

^a SOUTHEAST UNIVERSITY   (China)

Author keywords

Colored Petri nets; Formal analysis; Modeling; Non repudiation

Indexed keywords

EID: 25144511649     PISSN: 10001239     EISSN: None     Source Type: Journal    
DOI: 10.1360/crad20050918     Document Type: Article

References (18)