Dpto. de Lenguajes y Ciencias de la Computacion, University of Malaga, 29071 Malaga, Spain;
access control; authorization; distributed systems security; formal methods in security;
机译:云计算的跨租户访问控制(CTAC)模型:正式规范和验证
机译:用于语义访问正式软件模型的自动化工具
机译:使用语义网技术的RBAC约束的可视化建模和形式化规范
机译:具有形式语义的元建模及其在访问控制规范中的应用
机译:具有访问控制列表和基于角色的访问控制模型的可扩展访问控制Web服务的规范。
机译:定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
机译:通过语义任务规范连接以任务为中心与以人工为中心的模型及其在形式验证中的应用
机译:数字飞行控制系统的故障屏蔽和瞬态恢复模型的正式规范和验证