A new type system for secure information flow Proceedings Paper

cited authors

  • Smith, G; IEEE COMPUTER SOCIETY; IEEE COMPUTER SOCIETY

fiu authors

publication date

  • 2001

category

Digital Object Identifier (DOI)

research area