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