16 search results - page 4 / 4 » Probabilistic Bisimulation and Equivalence for Security Anal... |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
In our previous work (`An Algebraic Watchdog for Wireless Network Coding'), we proposed a new scheme in which nodes can detect malicious behaviors probabilistically, police th...