Relaxing environmental security: Monitored functionalities and client-server computation

Manoj Prabhakaran, Amit Sahai

Research output: Contribution to journalConference articlepeer-review


Definition of security under the framework of Environmental Security (a.k. a Network-Aware Security or Universally Composable Security) typically requires "extractability" of the private inputs of parties running a protocol. Formalizing concepts that appeared in an earlier work [19], we introduce a framework of "Monitored Functionalities," which allows us to avoid such a requirement from the security definition, while still providing very strong composition properties. We also consider a specialization of the Environmental Security framework by designating one party as a "server" and all other parties as clients. Both these contributions in the work are aimed at being able to provide weaker Environmental Security guarantees to simpler protocols. We illustrate the usability of the Monitored Functionalities framework by providing much simpler protocols in the plain model than in [19] for some limited functionalities in the server-client model.

Original languageEnglish (US)
Pages (from-to)104-127
Number of pages24
JournalLecture Notes in Computer Science
StatePublished - 2005
Externally publishedYes
EventSecond Theory of Cryptography Conference, TCC 2005 - Cambridge, MA, United States
Duration: Feb 10 2005Feb 12 2005

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Relaxing environmental security: Monitored functionalities and client-server computation'. Together they form a unique fingerprint.

Cite this