Look into F* from Microsoft Research. It isn't quite what you're asking for, but it might be what you need.
On Mon, Jan 6, 2014 at 11:27 AM, John Carlson <yottz...@gmail.com> wrote: > Is anyone interested in a POL/DSL for security? What's out there now? I > am thinking of a language which describes attacks, defenses, and > vunerabilities (and perhaps superpowers), as well as faux-attacks, > faux-defenses, and faux-vunerabilities (and perhaps faux-superpowers). > > A Granovetter diagram would be a very high level statement in such a > language. > > Thanks, > > John > > _______________________________________________ > fonc mailing list > fonc@vpri.org > http://vpri.org/mailman/listinfo/fonc > >
_______________________________________________ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc