A Lightweight Formal Approach for Analyzing Security of Web Protocols

Watch Now
Provided by: SecurityTube.net
Topic: Security
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.
Watch Now

Find By Topic