ConSpec

MaRDI QIDQ14555swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=1346527

Described by source

• ConSpec - A formal language for policy specification

Cited in

(11)

• Gate automata-driven run-time enforcement
• TeSSLa
• Provably correct runtime monitoring
• jContractor
• BeepBeep
• Java-MOP
• Java-MaC
• LARVA
• J-LO
• Runtime verification based on register automata
• Matching in security-by-contract for mobile code

This page was built for software: ConSpec