退出
我的积分:
中文文献批量获取
外文文献批量获取
马利民; 张伟; 宋莹;
北京信息科技大学计算机学院 北京100101;
Kerberos; PKINIT; 一次性口令; 口令猜测攻击; BAN逻辑;
机译:一种独立于语言的形式化方法,用于基于模式的建模,并支持合成和分析
机译:ERTMS的实施:一种基于形式化方法和关于法国国家法规的模拟方法
机译:描述基于特征的设计方法的一种形式化方法
机译:基于组件的嵌入式软件建模和分析的一种形式化方法
机译:一种生命周期分析方法,可使用基于代理的建模来增强建筑行业的可持续发展决策能力。
机译:一种用于多实验表达数据的共识聚类的形式化概念分析方法
机译:走向超可靠计算机的形式化分析:一种全面的系统方法
机译:基于共形几何代数形式化分析机器人手臂运动计划的方法和系统
机译:基于近场通信的多次一次性口令错误管理方法
机译:创建一种可信赖的环境的方式,以保护用户免受使用设备(设备)修改或替换形式化电子消息的所选字段的影响,基于保护信息的转换采用不同的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。