Formal methods; Security; RBAC; SecureUML;
机译:信息系统中RBAC策略的图形建模和形式验证。 B4MSecure平台
机译:分布式实时受管系统:用于托管嵌入式系统的模型驱动的分布式安全信息体系结构平台
机译:导管固定系统:将两个研究装置与无缝合固定装置,固定敷料和猪模型中的缝合线进行比较
机译:B用于建模安全信息系统B4MSECURE平台
机译:使用基于微内核的操作系统进行楼宇自动化的安全计算平台
机译:导管固定系统:将两个研究装置与无缝合固定装置固定敷料和猪模型中的缝合线进行比较
机译:分布式实时管理系统:用于管理嵌入式系统的模型驱动的分布式安全信息架构平台