Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 925-929 |
| Number of pages | 5 |
| Journal | Beijing Ligong Daxue Xuebao/Transaction of Beijing Institute of Technology |
| Volume | 30 |
| Issue number | 8 |
| Publication status | Published - Aug 2010 |
| Externally published | Yes |
Keywords
- Access control
- P2P network
- Petri-net
- Protocol simulation