[fonc] POL/DSL for security

[John Carlson]

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

[David Barbour]

Look into F* from Microsoft Research. It isn't quite what you're asking
for, but it might be what you need.

Post by John Carlson
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
http://vpri.org/mailman/listinfo/fonc