Data processing security; Methodology; Experimental design; Computer architecture; Computer logic; Computer program verification; Man computer interface; Mathematical models; User needs; Fault tolerant computing;
机译:卫星通信系统有效且可提供安全的密钥协议计划
机译:可用于启用IOT的企业数字版权管理系统的可证明安全经过身份验证的内容密钥分发框架
机译:可穿戴健康监控系统的可证明安全跨域的多因素认证协议
机译:可证明的安全操作系统(PSOS)的基础
机译:使用基于微内核的操作系统进行楼宇自动化的安全计算平台
机译:卫星通信系统的高效且可提供安全的密钥协议计划
机译:卫生信息系统的可证实和安全的患者电子健康记录公平交换计划