Secure broadcast ambients

Elsa L. Gunter, Ayesha Yasmeen

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Broadcast mechanism is prevalent in many forms of electronic networks. Modeling broadcast protocols succinctly and reasoning about how secure these protocols are is gaining importance as society increasingly comes to depend on a wiDe variety of electronic communications.In this work we present a modified ambient calculus where the nature of communication is broadcast within domains.We allow reconfigurable configurations of communication domains, access restrictions to domains and the capability of modeling cryptographic communication protocols in broadcast scenarios.

Original languageEnglish (US)
Title of host publicationFormal Aspects in Security and Trust - 5th International Workshop, FAST 2008, Revised Selected Papers
Number of pages15
StatePublished - Jul 23 2009
Event5th International Workshop on Formal Aspects in Security and Trust, FAST 2008 - Malaga, Spain
Duration: Oct 9 2008Oct 10 2008

Publication series

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


Other5th International Workshop on Formal Aspects in Security and Trust, FAST 2008


  • Ambient calculi
  • Bisimulations
  • Broadcast
  • Congruence
  • Process calculi
  • Security

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Secure broadcast ambients'. Together they form a unique fingerprint.

Cite this