SecVisor; hypervisor; model checking; parametric verification; reference monitor; security; small model theorem;
机译:在Telecare Medicine信息系统中,无需服务器公共密钥的基于安全验证者的三方身份验证方案即可进行数据交换。
机译:多层安全数据库管理系统中经过验证的基于订单的安全并发控制器
机译:用于移动卫星通信系统的无验证表的安全匿名身份验证方案
机译:可扩展的安全系统参数验证:如何验证参考监视器而不担心数据结构大小
机译:迈向实用的可验证计算:验证外包,没有线性测试的线性参数以及重复的结构。
机译:基于传递函数数据集和一维卷积神经网络的数据驱动型损伤识别框架:结构健康监测基准结构的验证
机译:安全系统的可扩展参数验证:如何在不担心数据结构大小的情况下验证参考监视器