Paper 2007/102

On the Role of Scheduling in Simulation-Based Security

Ran Canetti, Ling Cheung, Nancy Lynch, and Olivier Pereira

Abstract

In a series of papers, Küsters et al. investigated the relationships between various notions of simulation-based security. Two main factors, the placement of a ``master process'' and the existence of ``forwarder processes'', were found to affect the relationship between different definitions. In this extended abstract, we add a new dimension to the analysis of simulation-based security, namely, the scheduling of concurrent processes. We show that, when we move from sequential scheduling (as used in previous studies) to task-based nondeterministic scheduling, the same syntactic definition of security gives rise to incomparable semantic notions of security. Under task-based scheduling, the hierarchy based on placement of ``master process'' is no longer relevant, because no such designation is necessary to obtain meaningful runs of a system. On the other hand, the existence of ``forwarder processes'' remains an important factor.

Metadata
Available format(s)
PDF
Category
Foundations
Publication info
Published elsewhere. Presented at WITS'07
Keywords
simulation-based securitysequential and non-sequential scheduling
Contact author(s)
lcheung @ theory csail mit edu
History
2007-03-22: received
Short URL
https://ia.cr/2007/102
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2007/102,
      author = {Ran Canetti and Ling Cheung and Nancy Lynch and Olivier Pereira},
      title = {On the Role of Scheduling in Simulation-Based Security},
      howpublished = {Cryptology ePrint Archive, Paper 2007/102},
      year = {2007},
      note = {\url{https://eprint.iacr.org/2007/102}},
      url = {https://eprint.iacr.org/2007/102}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.