Factoring High Level Information Flow Specifications into Low Level Access Controls

Kevin Kahley, Manigandan Radhakrishnan, Jon A. Solworth. Factoring High Level Information Flow Specifications into Low Level Access Controls. In Proceedings of the 4th IEEE International Workshop on Information Assurance (IWIA 2006), 13-14 April 2006, Egham, Surrey, UK. pages 169-186, IEEE Computer Society, 2006. [doi]

Authors

Kevin Kahley

This author has not been identified. Look up 'Kevin Kahley' in Google

Manigandan Radhakrishnan

This author has not been identified. Look up 'Manigandan Radhakrishnan' in Google

Jon A. Solworth

This author has not been identified. Look up 'Jon A. Solworth' in Google