[isabelle] AFP: new entry Volpano/Smith



Please note that a new article has appeared in the AFP
http://afp.sourceforge.net/:

A Correctness Proof for the Volpano/Smith Security Typing System
Author: Gregor Snelting and Daniel Wasserrab

Enjoy
Tobias





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.