* http://www.cs.dartmouth.edu/~sergey/langsec/
You can basically make security proofs in your protocol.
http://www.youtube.com/watch?v=3kEfedtQVOY
I was thinking about extending this to bottle.py and replacing the routing elements with an fsm library. Then I wanted the views to be a bunch of regexps or simple includes.
* http://www.cs.dartmouth.edu/~sergey/langsec/
You can basically make security proofs in your protocol.
http://www.youtube.com/watch?v=3kEfedtQVOY
I was thinking about extending this to bottle.py and replacing the routing elements with an fsm library. Then I wanted the views to be a bunch of regexps or simple includes.