Formal Aspects of Security

Abdallah, Ali E. and Ryan, Peter and Schneider, Steve (2002) Formal Aspects of Security. Springer. ISBN 0302-9743

Full text not available from this repository. (Request a copy)

Abstract

Much about our computing systems has changed since reference monitors were first introduced, 30 years ago. Reference monitors haven’t—at least, until recently—but new forms of execution monitoring are now possible, largely due to research done in the formal methods and programming languages communities. This talk will discuss these new approaches: why they are attractive, what can be done, what has been done, and what problems remain.

Item Type: Book
Subjects: G400 Computer Science
Divisions: Faculty of Computing, Engineering and the Built Environment
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology > Cyber Security
UoA Collections > UoA11: Computer Science and Informatics
Depositing User: Oana-Andreea Dumitrascu
Date Deposited: 07 Apr 2017 11:29
Last Modified: 07 Apr 2017 11:29
URI: http://www.open-access.bcu.ac.uk/id/eprint/4236

Actions (login required)

View Item View Item

Research

In this section...