Gate automata-driven run-time enforcement

Article English OPEN
Costa G.; Matteucci I.;
  • Publisher: Elsevier BV
  • Journal: Computers & Mathematics with Applications, volume 63, issue 2, pages 518-524 (issn: 0898-1221)
  • Publisher copyright policies & self-archiving
  • Related identifiers: doi: 10.1016/j.camwa.2011.08.046
  • Subject: Security-by-Contract-with-Trust | [ INFO.INFO-LO ] Computer Science [cs]/Logic in Computer Science [cs.LO] | [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] | Computational Theory and Mathematics | Computational Mathematics | Contract monitoring | Gate automata | Modelling and Simulation | Interface automata
    • ccs: ccs:K.6.5 Security and Protection

International audience; Security and trust represent two different perspectives on the problem of guaranteeing the correct interaction among software components. Gate automata have been proposed as a formalism for the specification of both security and trust policies in... View more
Share - Bookmark