Title

Click here to start

Table of contents

What a Language Should Be

The Current Language

Anatomy of an AV Rule

Quantifying Verbosity

Introducing SENG

Class and Permission Sets

Class and Permission Sets (2)

Abstract Resources

Abstract Resources (2)

Abstract Resources (3)

Abstract Permissions

Abstract Permissions (2)

Abstract Permissions (3)

Motivating Templates

Template Declaration

Template Instantiation

Using Templates

Using Templates (2)

Using Templates (3)

Prefix Resolution

Using Prefix Resolution

Using Prefix Resolution (2)

Using Prefix Resolution (3)

Using Prefix Resolution (4)

Using Prefix Resolution (5)

Using Prefix Resolution (6)

Permissions and Transitions

Permissions and Transitions (2)

Permissions and Transitions (3)

Abstract Transitions

Abstract Transitions (2)

Abstract Transitions (3)

Abstract Transitions (4)

What's Left: Language

What's Left: Toolset

More Information

Recursive Instantiation

Recursive Instantiation (2)

Class and Permission Sets (Review)

Abstract Resources (Review)

Abstract Permissions (Review)

Motivating Templates (Review)

Permissions and Transitions (Review)

Author: Paul Kuliniewicz

E-mail: kuliniew@purdue.edu

Homepage: http://web.ics.purdue.edu/~kuliniew/seng/