• DocumentCode
    3168572
  • Title

    Security properties consistent with the testing semantics for communicating processes

  • Author

    Johnson, Dale M. ; Thayer, F. Javier

  • Author_Institution
    Mitre Corp., Bedford, MA, USA
  • fYear
    1989
  • fDate
    11-14 Jun 1989
  • Firstpage
    9
  • Lastpage
    21
  • Abstract
    A theory of security that is based on specification languages for communicating processes and the formal testing semantics for such languages is developed. The DeNicola-Hennessy theory of testing semantics for processes as presented by M. Hennessy (Algebraic Theory of Processes, MIT Press, Cambridge, MA, 1988) is reviewed in some detail. The theory is then applied to the analysis of certain information flows
  • Keywords
    information theory; security of data; specification languages; testing; DeNicola-Hennessy theory; acceptance trees; communicating processes; denotational model; formal testing semantics; information flows; labeled transition systems; security theory; specification languages; testing equivalence; Carbon capture and storage; Computational modeling; Distributed computing; Humans; Printers; Process control; Security; System recovery; TV; Testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Security Foundations Workshop II, 1989., Proceedings of the
  • Conference_Location
    Franconia, NH
  • Type

    conf

  • DOI
    10.1109/CSFW.1989.40582
  • Filename
    40582
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3168572