Jump to navigation
The University Library Archives
Select Collection
All collections
This collection
Digital and Special Collections
Faculty and Student Scholarship
Marymount University Yearbooks
Search box
You are here
Home
›
Browse
›
Faculty and Student Scholarship
›
Student Research Conference
A Relational Framework for Modelling Active Intruders
In collections
Student Research Conference
Details
Title
A Relational Framework for Modelling Active Intruders
Usage & Reproduction Rights
http://rightsstatements.org/vocab/InC/1.0/
Type
Video recordings
URI / Handle
http://hdl.handle.net/1961/muislandora:3015
Created
2016-01-01T00:00:00Z
Abstract
We present a relational framework for the purpose of modeling active attackers, inspired by the success of Kripke Semantics in formal security. Our analysis stems from the open problem of finding a satisfactory semantics for modeling active attackers with the eventual hope of mechanically checking formulas describing attack scenarios via automated verification techniques. In this regard, our approach is to be extended (in the fullness of time) to complement the existing techniques of epistemic temporal logic and automated verification that has already been so well explored elsewhere. Our relational framework is original in that it applies techniques from Gunther Schmidt’s relational mathematics program to a new application domain –that of information security and assurance –and employs Boolean matrices defined on relations to enforce verification of security designs, and thus offers (in finite cases) a decidable framework for representing and verifying security designs. We provide characterization theorems (for example, demonstrating that a general version of our framework is a Boolean algebra) in addition to definitions, theorems and practical examples based on intuitive security properties drawn from information security examples. We conclude with some partial results and comments on complexity considerations.
Stats
Viewed 25 times
Downloaded 4 times
Home
About
Browse
Search