TY - GEN
T1 - Position paper
T2 - ACM SIGPLAN 7th Workshop on Programming Languages and Analysis for Security, PLAS'12
AU - Duggan, Dominic
AU - Wu, Ye
PY - 2012
Y1 - 2012
N2 - This article considers the synthesis of two long-standing lines of research in computer security: security correctness for multilevel databases, and language-based security. The motivation is an approach to supporting end-to-end security for a wide class of enterprise applications, those of concurrent transactional applications. The approach extends nested transactions with retroactive abort, a new form of semantics for transactional execution, motivated by security concerns. A semantics is given in terms of a local constrained labelled transition system, the Tau One calculus. This allows a noninterference result to be verified based on adapting results on observational equivalence from concurrency theory.
AB - This article considers the synthesis of two long-standing lines of research in computer security: security correctness for multilevel databases, and language-based security. The motivation is an approach to supporting end-to-end security for a wide class of enterprise applications, those of concurrent transactional applications. The approach extends nested transactions with retroactive abort, a new form of semantics for transactional execution, motivated by security concerns. A semantics is given in terms of a local constrained labelled transition system, the Tau One calculus. This allows a noninterference result to be verified based on adapting results on observational equivalence from concurrency theory.
KW - D.2.0 [Software Engineering]: Protection Mechanisms
KW - Languages
KW - Security
KW - Transactions
UR - http://www.scopus.com/inward/record.url?scp=84865285592&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84865285592&partnerID=8YFLogxK
U2 - 10.1145/2336717.2336721
DO - 10.1145/2336717.2336721
M3 - Conference contribution
AN - SCOPUS:84865285592
SN - 9781450314411
T3 - PLAS'12 - Proceedings of Programming Languages and Analysis for Security
BT - PLAS'12 - Proceedings of Programming Languages and Analysis for Security
Y2 - 15 June 2012 through 15 June 2012
ER -