2 papers
cs.PL2017
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework
Gurvan Le Guernic, Benoit Combemale, José A. Galindo
Many project-specific languages, including in particular filtering languages, are defined using non-formal specifications written in natural languages. This leads to ambiguities an…
cs.CR2014
In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft
Gurvan Le Guernic
A system is said to be fail-secure, sometimes confused with fail-safe, if it maintains its security requirements even in the event of some faults. Fail-secure analyses are required…