LIBROS DEL AUTOR: raymond s way

1 resultados para LIBROS DEL AUTOR: raymond s way

raymond s way Eliminar filtro Quitar filtros
  • A Formal Specification and Proof of System Safety Using the Schematic Protection Model
    Raymond S. Way
    This research formally specifies the Schematic Protection Model (SPM) to prove its ability to provide security services such as confidentiality and integrity. The theory described by the resultant model was logically proved in the Prototype Verification System (PVS). Each component of SPM was tested, as were several anomalous conditions, and each test produced results consisten...
    Disponible

    17,69 €