1701 search results - page 341 / 341 » Bandwidth Management of WiMAX Systems and Performance Modeli... |
159
click to vote
JAR
2000
15 years 3 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...