退出
我的积分:
中文文献批量获取
外文文献批量获取
卿斯汉;
中国科学院;
软件研究所;
信息安全技术工程研究中心;
北京;
100080;
北京中科安胜信息技术有限公司;
形式化分析; 电子商务协议; 可追究性; 公平性; 可信第三方;
机译:基于事件的电子商务协议通信属性的形式化:事件B方法
机译:电子商务协议公平性表征的形式化建模与分析
机译:一种新的安全协议形式化分析方法
机译:组织级电子商务资源分配:一种实施的分析方法。
机译:一种用于多实验表达数据的共识聚类的形式化概念分析方法
机译:Isabelle形式化的协议独立保密与 应用于电子商务
机译:使用NpaTRL和NRL协议分析器(预印本)对代表协议的组域进行形式化规范和分析
机译:通过加热härtbare,一种醇酸树脂和一种形式化的醛缩合产品生产出一种含有1,3,5个三嗪类氨基酸的氨基,并用它来生产schichtpressstoffen
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。