摘要
To guarantee the rationality of the resource access and the correctness of the protocol design, an access control protocol is proposed and the designed protocol is modeled in Petri-net. Firstly, the protocol is analyzed by means of the properties of Petri-net to prove its correctness. Then, the protocol model is created, run and debugged using CPN Tools. The performance is simulated by means of observing the running steps of the protocol. The experiment results show that stepping into the protocol is very helpful to discover or eliminate the designing bug and to optimize the protocol design for meeting the given goal.
| 源语言 | 英语 |
|---|---|
| 页（从-至） | 925-929 |
| 页数 | 5 |
| 期刊 | Beijing Ligong Daxue Xuebao/Transaction of Beijing Institute of Technology |
| 卷 | 30 |
| 期 | 8 |
| 出版状态 | 已出版 - 8月 2010 |
| 已对外发布 | 是 |