Login / Signup

A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification.

Wissam MallouliAmel MammarAna R. Cavalli
Published in: APSEC (2009)
Keyphrases
  • main contribution
  • information security
  • petri net
  • database
  • information systems
  • decision trees
  • high level
  • rule sets
  • formal model
  • formal specification
  • rule based systems
  • specification languages