IEEE Transactions on Knowledge and Data Engineering
Design and Implementation of MPLS Network Simulator Supporting LDP and CR-LDP
ICON '00 Proceedings of the 8th IEEE International Conference on Networks
A QoS Model of Next Generation Network based on MPLS
NPC '07 Proceedings of the 2007 IFIP International Conference on Network and Parallel Computing Workshops
Traffic engineering with MPLS in the Internet
IEEE Network: The Magazine of Global Internetworking
Hi-index | 0.00 |
Non-repudiation service is crucial to electronic commerce. We have made some research of ATL logic method and its applications in multi-party security protocols formalized analysis. A typical multi-party non-repudiation protocol is modeled and analyzed ...