What semantic equivalences are suitable for non-interference properties in computer security

Huang, Xiaowei and Li, Jiao and Weiming, Lu (2007) What semantic equivalences are suitable for non-interference properties in computer security. In: CICS, volume - Lecture Notes in Computer Science. Springer.

Full text not available from this repository. (Request a copy)
Item Type: Book Section
Additional Information: Volume 4861 of Lecture Notes in Computer Science Springer, 2007
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: 05 Jun 2017 13:12
Last Modified: 05 Jun 2017 13:12
URI: http://www.open-access.bcu.ac.uk/id/eprint/4516

Actions (login required)

View Item View Item

Research

In this section...