๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Concurrent Composition of Secure Protocols in the Timing Model

โœ Scribed by Yael Tauman Kalai; Yehuda Lindell; Manoj Prabhakaran

Publisher
Springer
Year
2007
Tongue
English
Weight
527 KB
Volume
20
Category
Article
ISSN
0933-2790

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

The Freeze algorithms for concurrency co
The Freeze algorithms for concurrency control in secure real-time database systems
โœ Chanjung Park; Seog Park ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 342 KB

Database systems for real-time applications must satisfy timing constraints associated with transactions. Typically, a timing constraint is expressed in the form of a deadline and is represented as a priority to be used by schedulers. Recently, security has become another important issue in many rea

Updating timestamp interval for dynamic
Updating timestamp interval for dynamic adjustment of serialization order in Optimistic Concurrency Control-Time Interval (OCCTI) protocol
โœ Prabhudev Konana; Juhnyoung Lee; Sudha Ram ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 491 KB

In this direction, a timestamp interval based Optimistic CC (OCC) called OCCTI is proposed in [ 61. 3 OCCTI uses a novel approach to reduce transaction restarts and to minimize wasted resources by dynamically adjusting serialization orders using timestamps. Needless to say, minimizing transaction re