ConSpec

swMATH2008MaRDI QIDQ14555FDOQ14555

Author name not available (Why is that?)

Described by source

• ConSpec - A formal language for policy specification

Cited In (4)

• Runtime Verification Based on Register Automata
• Gate automata-driven run-time enforcement
• Provably correct runtime monitoring
• Matching in security-by-contract for mobile code

This page was built for software: ConSpec