A systematic approach to integrate common timed security rules within a TEFSM-based system specification

• Amel Mammar ^[1] ; Wissam Mallouli ^[2] ; Ana Cavalli ^[1]
  1. [1] Institut Telecom SudParis, CNRS/SAMOVAR, France
  2. [2] Montimage EURL, Paris, France
• Localización: Information and software technology, ISSN 0950-5849, Vol. 54, Nº 1, 2012, págs. 87-98
• Idioma: inglés
• Enlaces
  • Texto completo