A Lightweight Formal Approach for Analyzing Security of Web Protocols

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.

Find By Topic