Freie Universitaet Berlin, Berlin (DE);
机译:动态类型访问矩阵模型和安全问题的可判定性
机译:使用基于图形的2参数模型,在2D Microdel中访问优先泡沫流路径
机译:超声纵向轴振动减少输尿管通道鞘插入力的功效和安全性:猪模型中的随机对照试验
机译:基于图形的访问控制模型中安全性的可解密性
机译:基于属性和关系的访问控制模型的表现力,安全性和云实现
机译:基于网络的健康关系工具和安全决策辅助工具(针对遭受家庭暴力的女性)的随机对照试验协议(I-DECIDE)
机译:基于图形的访问控制模型的安全性
机译:多级系统中混合模型访问控制的安全性