Vijayalakshmi Atluri Wei-kuang Huang Elisa Bertino A Semantic-Based Execution Model for Multilevel Secure Workflows. 2000 8 Journal of Computer Security 1 db/journals/jcs/jcs8.html#AtluriHB00