A Formal Model for System Oriented Architecture.

Philippe Darondeau Serge Guiboud-Ribaud Claude Otrage

Published in: IFIP Congress (1974)

Keyphrases

formal model
predicate calculus
security properties
formal models
security patterns
business process
intrusion detection
probabilistic knowledge
rule base
resource constrained