Access control; DSL; JetBrains MPS; Event-B Verification;
机译:基于角色的访问控制模型的增强,以促进团队协作和工作流中的信息访问管理
机译:促进ICBT的访问:随机对照试验使用最小监测的交付模型评估经验验证程序的翻译版本
机译:适应全球劳动力的动态:创建与江森自控网络合作的新模型
机译:在创建事件-B中的动态访问控制建模的DSL促进了DSL
机译:具有访问控制列表和基于角色的访问控制模型的可扩展访问控制Web服务的规范。
机译:动态在线社交网络环境中基于社会学方法的基于信任的访问控制模型
机译:与UML和Event-B的动态访问控制综合建模
机译:控制动态创建对象的系统中的访问