Probabilistic noninterference through weak probabilistic bisimulation Proceedings Paper

cited authors

  • Smith, G; Martin, D

fiu authors

publication date

  • 2003

category

Digital Object Identifier (DOI)

research area