Showing 1 - 4 results of 4 for search 'Jim Alves-Foss', query time: 0.02s Refine Results
  1. 1
    HARDWARE SECURITY TAGS FOR ENHANCED OPERATING SYSTEM SECURITY

    HARDWARE SECURITY TAGS FOR ENHANCED OPERATING SYSTEM SECURITY by Jia Song, Jim Alves-Foss

    Published 2013-01-01
    Get full text
    Article
  2. 2
    MAINTAINING CONFIDENTIALITY IN MULTILEVEL XML

    MAINTAINING CONFIDENTIALITY IN MULTILEVEL XML by Lawrence Kerr, Jim Alves-Foss

    Published 2013-01-01
    Get full text
    Article
  3. 3
    Is Formal Verification of seL4 Adequate to Address the Key Security Challenges of Kernel Design?

    Is Formal Verification of seL4 Adequate to Address the Key Security Challenges of Kernel Design? by Mina Soltani Siapoush, Jim Alves-Foss

    Published 2023-01-01
    Get full text
    Article
  4. 4
    A Formal Model and Verification for HESTIA: An Automated, Adversary-Aware Risk Assessment Process for Cyber Infrastructure

    A Formal Model and Verification for HESTIA: An Automated, Adversary-Aware Risk Assessment Process for Cyber Infrastructure by Ananth A. Jillepalli, Daniel Conte De Leon, Jim Alves-Foss, Clinton L. Jeffery, Frederick T. Sheldon

    Published 2022-01-01
    Get full text
    Article

Search Tools: