Property-Based Taming of Lying Mobile Nodes.
Ahmad-Reza Sadeghi, Mark Manulis,
in Proceedings of 20th IEEE International Conference on Advanced Information Networking and Applications (AINA 2006), IEEE International Workshop on Trusted and Autonomic Computing Systems (TACS 2006), 18-20 April, Vienna, Austria.
[IEEE CS Link] [PDF] [Bibtex]