...
机译:在业务流程中模型检查授权需求
DIBRIS, Uniuersita di Genova, Viale Causa, 13, 16145 Genova, Italy,Security & Trust Unit, Fondazione Bruno Kessler, Trento, Italy;
SAP Research Sophia-Antipolis, Mougins, France;
Model checking; Security-sensitive business process; Authorization requirements; Access control; Organizational control; Automatic security analysis;
机译:使用SOMA方法对检查证书检索要求的业务流程自动化进行建模
机译:通过状态图和CSP对可暂停的业务流程进行建模和模型检查
机译:语义注释的业务流程的模型检查分析
机译:授权约束下的业务流程建模与推理:一种基于计划的方法
机译:增强了用于商业软件应用程序的统一建模语言模型检查。
机译:社交媒体与业务流程之间的一致性对中小企业业务流程绩效的影响:一种概念模型
机译:通过状态图和CSP对可暂停的业务流程进行建模和模型检查