Transactional correctness for secure nested transactions

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Scopus citations

Abstract

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.

Original languageEnglish
Title of host publicationTrustworthy Global Computing - 6th International Symposium, TGC 2011, Revised Selected Papers
Pages179-196
Number of pages18
DOIs
StatePublished - 2012
Event6th International Symposium on Trustworthy Global Computing, TGC 2011 - Aachen, Germany
Duration: 9 Jun 201110 Jun 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7173 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference6th International Symposium on Trustworthy Global Computing, TGC 2011
Country/TerritoryGermany
CityAachen
Period9/06/1110/06/11

Fingerprint

Dive into the research topics of 'Transactional correctness for secure nested transactions'. Together they form a unique fingerprint.

Cite this