退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用于可达性和等价属性的可判定类别的安全协议
Véronique Cortier; Stéphanie Delaune; Vaishnavi Sundararajan;
机译:确定加密协议的安全属性。应用于关键周期
机译:安全协议中两种知识概念的可判定性和组合结果
机译:DEEPSEC:确定安全协议理论和实践中的等效属性
机译:探索甚至可达的全局状态空间以验证协议的死锁自由度。
机译:使用同时协议研究等效类的形成:节点数量和先前建立的等效类的大小的促进作用。
机译:确定加密协议的安全属性。适用于关键周期。
机译:协议交换安全证书属性的方法和系统
机译:硬件安全模块,例如小型计算机系统接口/ Internet协议外部设备,用于电子支付终端,具有处理器,在接收到与天然气性质变化相对应的信号的情况下,其作用是秘密的
机译:使用X标头属性对Web电子邮件访问客户端中的电子邮件和部分电子邮件进行安全分类
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。