We study an extension of the relational transducers intro- duced by Abiteboul, Vianu, Fordham, and Yesha, which are capable of specifying transaction protocols and their interplay with security con- straints. We investigate the decidability of relevant verification problems such as goal reachability and log validation.
Towards verification of security-aware e-services / Ranise, S.. - 556:(2009), pp. 105-119. (Intervento presentato al convegno 7th International Workshop on First-Order Theorem Proving, FTP 2009 tenutosi a Oslo, nor nel 2009).
Towards verification of security-aware e-services
Ranise S.
2009-01-01
Abstract
We study an extension of the relational transducers intro- duced by Abiteboul, Vianu, Fordham, and Yesha, which are capable of specifying transaction protocols and their interplay with security con- straints. We investigate the decidability of relevant verification problems such as goal reachability and log validation.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
