-
公开(公告)号：CN115460297B
公开(公告)日：2023-06-30
申请号：CN202211083948.9
申请日：2022-09-06
Applicant: 中国科学技术大学
Abstract: 本发明公开了一种网络安全协议的自动形式化验证方法，包括步骤：一、输入协议模型；二、初始树构建；已依据静态策略路径选择执行六、否则执行三；三、依据静态策略进行路径选择；四、依据静态策略进行路径检查；路径循环执行二；完整且正确输出验证结果；正确但不完整执行五；五、定理树合并，已依据静态策略路径选择执行六、否则执行三；六、依据动态策略进行路径选择；七、依据动态策略进行路径检查；路径循环时训练神经网络优化证明策略再返回二；路径完整且正确时输出验证结果；路径正确但不完整时执行八；八、定理树合并：定理树合并，已依据静态策略进行了路径选择执行六、否则执行三。本发明全过程都自动化，准确性高，效率高。
-
公开(公告)号：CN114331396A
公开(公告)日：2022-04-12
申请号：CN202111624759.3
申请日：2021-12-28
Applicant: 中国科学技术大学
Abstract: 本发明公开了一种面向以太坊智能合约的协议安全属性自动提取方法及系统，基于源码中使用的函数和/或全局变量类型实现合约分类，是一种基于数字货币类型的智能合约分类方案，划分标准明确，能覆盖大多数的以太坊智能合约，同一分类下的智能合约具有共同点，便于提取通用安全属性；同时，可以针对不同类型的合约提取通用的安全属性，不需要人工参与，根据智能合约本身特征即可总结得出，能够应用于自动化的智能合约安全分析，使得分析更高效。同时这些安全属性可用于交易顺序依赖等漏洞的检测，不局限于溢出等底层漏洞。
-
-
公开(公告)号：CN101820676A
公开(公告)日：2010-09-01
申请号：CN201010147439.9
申请日：2010-04-12
Applicant: 中国科学技术大学
Abstract: 本发明公开了一种传感器节点定位方法，包括：在待定位节点处收集通信范围内各个信标节点的位置信息，以得到各个信标节点的位置信息集；由待定位节点将所述位置信息集广播给所述各个信标节点；各个信标节点根据所述位置信息集分别独立地运行粒子群算法，以分别得到对应的最优粒子位置信息；以及待定位节点对最优粒子位置信息进行检测，以确定待定位节点的坐标位置。本发明可以显著减少待定位节点的计算消耗。
-
公开(公告)号：CN1761231A
公开(公告)日：2006-04-19
申请号：CN200410064978.0
申请日：2004-10-15
Applicant: 中国科学技术大学
Abstract: 移动自组网络的分布式动态蜂窝路由的构建方法的构建的步骤为：①采用发送与接受“hello”消息的方法，动态发现与更新邻居节点；②按照一致性原则和优先级排序的策略选择一些移动节点MN作为动态移动基站DMBS；③由移动基站产生、发送、接受、处理网络消息报文，并生成路由表项；从网络中动态选出一个以上移动结点MN充当临时移动基站DMBS，每一个DMBS只管理所有与它直接相邻的MN，DMBS之间通过交换信息拥有整个网络的拓扑信息；如果一个MN想发送数据，它就将数据包发送给自己所在蜂窝的DMBS，数据包只在DMBS或边界移动结点BMN之间进行路由转发，最终到达目的DMBS，由目的DMBS将数据包发送给目的MN。
-
Patent Agency Ranking
公开(公告)号：CN117041067A
公开(公告)日：2023-11-10
申请号：CN202310907943.1
申请日：2023-07-24
Applicant: 中国科学技术大学
Abstract: 本发明适用于计算机网络协议安全分析领域，提供了一种面向区块链底层协议的形式化建模与验证方法及系统，所述方法包括以下步骤：输入区块链底层协议中对每个共识节点的执行过程描述，输入待验证的共识属性的逻辑描述；设定该区块链底层协议的运行约束条件，该运行约束条件至少包括网络条件和敌手模型；根据每个共识节点的执行过程描述，及其中与节点群体相关的关键字得到对节点群体执行逻辑的描述，建立共识协议模型；本发明使用从网络节点群组出发的全新建模与验证思路，与已有的形式化建模方法相比，该方法在保证正确性的前提下极大地缩减了需要验证的状态空间，避免状态空间爆炸的问题，保证在有限的时间内获得正确的结果。
-
公开(公告)号：CN114218809B
公开(公告)日：2022-06-03
申请号：CN202111637894.1
申请日：2021-12-29
Applicant: 中国科学技术大学
Abstract: 本发明公开了一种面向以太坊智能合约的协议自动形式化建模方法与系统，在不需要人工参与的前提下，不仅能够建模合约中各个交易的行为，还可以建模交易之间的关系(即交易之间的顺序、区块变量)，因此，可以应用于验证：1)在不同交易顺序下是否满足特定安全属性；2)处于不同区块的交易是否满足特定属性，在能够用于分析溢出、重入等漏洞的基础上，还可以用于交易顺序依赖、区块变量依赖漏洞的自动分析。
-
公开(公告)号：CN112333701A
公开(公告)日：2021-02-05
申请号：CN202011145701.6
申请日：2020-10-23
Applicant: 中国科学技术大学
IPC: H04W12/03 , H04W12/06 , H04W12/086 , H04W12/122
Abstract: 本发明提出一种大规模物联网场景下基于身份的跨域认证方法，顶级域的公开密钥为sP，不同域中的节点Ui，j和Up，q，节点Ui，j表示第i层第j个节点，节点Up，q表示第p层第q个节点，跨域间身份认证包括：步骤1、节点Ui，j与节点Up，q需要交换彼此父节点域的公开密钥si‑1，kP，sp‑1，tP，以及身份验证信息SMi，j，SMp，q；如果某个节点是顶级域中的节点，则该节点交换的是自己节点域的公开密钥；节点Up，q对节点Ui，j的跨域身份验证包括：判断节点Ui，j是否为顶级域中的节点；根据节点Ui，j为顶级域中的节点，或节点Ui，j非顶级域中的节点采用不同的方式对该节点进行跨域身份验证；步骤2、若验证成功，则跨域间身份认证过程结束，存储获取的身份标识信息和公开密钥，后续使用该信息与对方节点进行通信。
-
-
公开(公告)号：CN104048661B
公开(公告)日：2017-09-29
申请号：CN201410299901.5
申请日：2014-06-26
Applicant: 中国科学技术大学
Abstract: 本发明公开了一种基于可见光的室内定位方法及系统，其通过使用手机内置的光照传感器和惯性传感单元采集室内的光照强度信息和手机的相对运动信息，通过利用用户移动过程中捕捉到光照强度趋势的变化特性，再结合场景的地图来计算用户在场景中的相对位置。该方案可在以零布置成本和较少的人力，以较高的精度定位用户，其适用性强，可以广泛应用在各种场景中。
-
-
-
-
-
-
-
-
-
Search Results
39
records
(took 0.029 seconds)
