• DocumentCode
    2561283
  • Title

    Practical Experience with an Ada-Based Formal Specification/Language on a Large Project

  • Author

    Yelowitz, Larry

  • Author_Institution
    Ford Aerospace and Communications Corporation
  • fYear
    1984
  • fDate
    April 29 1984-May 2 1984
  • Firstpage
    111
  • Lastpage
    111
  • Abstract
    Ford Aerospace is successfully using an Ada-based formal specification language on a large project to specify and manually verify security properties. This paper, and the associated panel presentation at the 1984 Symposium on Security and Privacy, deal with Customer requirements in the area of security, the use of "Ada Design Language Extensions" (ADLE) as the formal specification language, and the approach to demonstrating security properties.
  • Keywords
    Abstracts; Computational modeling; Formal specifications; Manuals; Mathematical model; Security; Semantics;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Security and Privacy, 1984 IEEE Symposium on
  • Conference_Location
    Oakland, CA, USA
  • ISSN
    1540-7993
  • Print_ISBN
    0-8186-0532-4
  • Type

    conf

  • DOI
    10.1109/SP.1984.10008
  • Filename
    6234789
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2561283