LCN '04 Proceedings of the 29th Annual IEEE International Conference on Local Computer Networks
Wireless Tracking Analysis in Location Fingerprinting
WIMOB '08 Proceedings of the 2008 IEEE International Conference on Wireless & Mobile Computing, Networking & Communication
Estimation of the number of operating sensors in large-scale sensor networks with mobile access
IEEE Transactions on Signal Processing
IEEE Communications Magazine
Proceedings of the 8th International Conference on Ubiquitous Information Management and Communication
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 ...