1106 search results - page 222 / 222 » Automated Design of Security Protocols |
130
click to vote
VSTTE
2010
Springer
15 years 26 days ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...