Vijayalakshmi Atluri Wei-kuang Huang Elisa Bertino An Execution Model for Multilevel Seccure Workflows. 151-165 1997 conf/dbsec/1997 DBSec db/conf/dbsec/dbsec97.html#AtluriHB97