YIP: A logical Foundation For Cybersecurity Built On Hyperproperties

Abstract

Our research in this grant contributed to the science of security. We developed a verification methodology for a specific hyperproperty, and we provided a powerful new security mechanism for mobile devices, as well as other GUI-based, security-sensitive systems. We also made progress on a verification methodology that works for all hyperproperties expressible in HyperLTL, and on establishing the trustworthiness of that methodology.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 13, 2018
Accession Number
AD1057351

Entities

People

  • Michael Clarkson

Organizations

  • Cornell University

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Case Studies
  • Computer Programs
  • Computer Science
  • Computers
  • Contracts
  • Cybersecurity
  • Electronic Mail
  • Graphical User Interface
  • Intellectual Property
  • Mobile Devices
  • Scientific Research
  • Security
  • Students
  • Universities
  • Verification

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Database Systems and Applications
  • Distributed Systems and Data Platform Development

Technology Areas

  • Cyber
  • Cyber - Cryptography