A Lightweight Formal Approach for Analyzing Security of Web Protocols

Provided by: SecurityTube.net Topic: Security Date Added: Dec 2014 Format: Webcast
Existing model checking tools for cryptographic protocol analysis have two drawbacks, when applied to present day web based protocols. Firstly, they require expertise in specialized formalisms which limits their use to a small fragment of scientific community. Secondly, they do not support common web constructs and attacks making the analysis both cumbersome as well as error-prone.

Find By Topic