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
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
