Semantics for Interactive Sequential Systems and Non-Interference Properties
An interactive system is a system that allows communication with the users. This communi- cation is modeled through input and output actions. Input actions are controllable by a user of the system, while output actions are controllable by the system. Standard semantics for sequen- tial system [1, 2]...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Centro Latinoamericano de Estudios en Informática
2011-12-01
|
| Series: | CLEI Electronic Journal |
| Online Access: | http://clei.org/cleiej-beta/index.php/cleiej/article/view/160 |