Login / Signup

GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties.

Didier BertMarie-Laure PotetNicolas Stouls
Published in: ZB (2005)
Keyphrases
  • security properties
  • operating system
  • real time
  • data mining
  • security protocols