TY - GEN
T1 - Transactional correctness for secure nested transactions
AU - Duggan, Dominic
AU - Wu, Ye
PY - 2012
Y1 - 2012
N2 - Secure Nested Transactions are an adaptation of traditional nested transactions to support the synergy of language-based security and multi-level database security. They have application in security for enterprise applications, where transactional semantics are a critical feature in middleware systems. This article considers correctness in terms of transactional properties for secure nested transactions. Correctness is expressed in terms of a labeled transition system, the TauZero calculus.
AB - Secure Nested Transactions are an adaptation of traditional nested transactions to support the synergy of language-based security and multi-level database security. They have application in security for enterprise applications, where transactional semantics are a critical feature in middleware systems. This article considers correctness in terms of transactional properties for secure nested transactions. Correctness is expressed in terms of a labeled transition system, the TauZero calculus.
UR - http://www.scopus.com/inward/record.url?scp=84864063642&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84864063642&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-30065-3_11
DO - 10.1007/978-3-642-30065-3_11
M3 - Conference contribution
AN - SCOPUS:84864063642
SN - 9783642300646
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 179
EP - 196
BT - Trustworthy Global Computing - 6th International Symposium, TGC 2011, Revised Selected Papers
T2 - 6th International Symposium on Trustworthy Global Computing, TGC 2011
Y2 - 9 June 2011 through 10 June 2011
ER -