Filters








2 Hits in 2.7 sec

Constraint generation for separation of duty

Hong Chen, Ninghui Li
2006 Proceedings of the eleventh ACM symposium on Access control models and technologies - SACMAT '06  
SACMAT'06, June 7-9, 2006 , Lake Tahoe, California, USA. Copyright 2006 ACM 1-59593-354-9/06/0006 ...$5.00. terminology in [17] .  ... 
doi:10.1145/1133058.1133077 dblp:conf/sacmat/ChenL06 fatcat:rgdr3utuzbbvdc5ml4iwjp2io4

Information flow property preserving transformation of UML interaction diagrams

Fredrik Seehusen, Ketil Stølen
2006 Proceedings of the eleventh ACM symposium on Access control models and technologies - SACMAT '06  
SACMAT'06, June 7-9, 2006 , Lake Tahoe, California, USA.  ...  Copyright 2006 ACM 1-59593-354-9/06/0006 ...$5.00. development process, (2) a clear separation of abstract, platform independent models (PIMs) and refined, platform dependent models (PSMs), and (3) transformations  ... 
doi:10.1145/1133058.1133080 dblp:conf/sacmat/SeehusenS06 fatcat:q6h7ptfvzjehlhmgedbhrghgeq