ConSpec

swMATH2008MaRDI QIDQ14555FDOQ14555

Author name not available (Why is that?)

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

Described by source

• ConSpec - A formal language for policy specification

Cited In (9)

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

This page was built for software: ConSpec