科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
梁坚; 敖青云; 尤晋元;
上海交通大学计算机科学与工程系,上海,200030;
时限责任; 形式化分析; Kudo逻辑;
机译:时限安全协议规范和验证的环境
机译:通过后续的时限协议治愈无效的时限
机译:未指定时限的可接受性-通过集体协议确定时限的持续时间
机译:基于安全的SMS的移动支付协议的设计和责任分析
机译:确定网络时间协议(NTP)对域名服务安全扩展(DNSSEC)协议的影响。
机译:肥胖成人8小时限时喂养的安全性(FS18-05-19)
机译:国家电信和信息管理局公共安全互操作通信拨款计划:受资助人似乎不太可能在短期融资时限内完成项目。总结报告
机译:加密协议安全验证设备,加密协议设计设备,加密协议安全验证方法,加密协议设计方法,加密协议安全验证程序和加密协议
机译:乘客约束系统的安全气囊装置,具有可保护乘客的安全气囊,安全气囊的泄漏口和用于临时限制安全气囊充气量的限制元件
机译:用于机动车辆乘客保护系统的安全带卷收器单元,具有损伤工具,即夹具,会降低安全带的整体结构,从而在发生事故时限制作用在安全带上的力而导致安全带的移动
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。