The anatomy of a large-scale hypertextual Web search engine
WWW7 Proceedings of the seventh international conference on World Wide Web 7
IEEE Intelligent Systems
Semantic Web Service Discovery in the OWL-S IDE
HICSS '06 Proceedings of the 39th Annual Hawaii International Conference on System Sciences - Volume 06
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 ...