Search. Read. Cite.

Easy to search. Easy to read. Easy to cite with credible sources.

Information Technology Journal

Year: 2008  |  Volume: 7  |  Issue: 1  |  Page No.: 228 - 230

Modeling Non-Repudiation in Distributed Systems

Hong Zheng, Yu Yue Du and Yu ShuXia


As an important security service in distributed systems, non-repudiation is required to implement evidence generating or validating in the application layer. Formal methods are powerful tools to provide security services. The study applies labeled colored Petri nets to modeling and analysis of the non-repudiation in distributed environment.

Cited References Fulltext