Abstract interpretation of operational semantics for secure information flow was discussed. This approach was based on the denotational semantics of the language. It was proved that this semantics correctly described the actual information flow within programs. An abstract semantics to ensure security of all executions was also defined.
Abstract Interpretation of Operational Semantics for Secure Information Flow
BARBUTI, ROBERTO;BERNARDESCHI, CINZIA;DE FRANCESCO, NICOLETTA
2002-01-01
Abstract
Abstract interpretation of operational semantics for secure information flow was discussed. This approach was based on the denotational semantics of the language. It was proved that this semantics correctly described the actual information flow within programs. An abstract semantics to ensure security of all executions was also defined.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
