Falcon作为一种后量子数字签名算法,被选为美国国家标准与技术研究院(National Institute of Standards and Technology, NIST)首批标准化方案之一. Falcon的核心算法在实际实现中很容易出错,引发可能的密码学误用问题.对Falcon核心函...Falcon作为一种后量子数字签名算法,被选为美国国家标准与技术研究院(National Institute of Standards and Technology, NIST)首批标准化方案之一. Falcon的核心算法在实际实现中很容易出错,引发可能的密码学误用问题.对Falcon核心函数进行形式化验证,以确保其正确性是非常重要的.在过去10年中,计算机辅助密码学领域将形式化方法引入了密码学工程.这使得高性能密码实现具有了强有力的函数正确性和特定实现安全性属性的形式化保证.贡献包括:(1)构建了完整的证明框架,通过形式化验证方法,成功弥合了Falcon的实际代码实现与数学描述之间的差距;(2)在EasyCrypt证明体系中验证了Falcon中的Montgomery模乘、NTT算法、FFT算法的正确性,并对整数高斯采样算法的正确性证明方法进行了探索;(3)给出及优化了基于Jasmin混合编程的Falcon签名与验证实现.展开更多
Rapid development in Information Technology(IT)has allowed several novel application regions like large outdoor vehicular networks for Vehicle-to-Vehicle(V2V)transmission.Vehicular networks give a safe and more effect...Rapid development in Information Technology(IT)has allowed several novel application regions like large outdoor vehicular networks for Vehicle-to-Vehicle(V2V)transmission.Vehicular networks give a safe and more effective driving experience by presenting time-sensitive and location-aware data.The communication occurs directly between V2V and Base Station(BS)units such as the Road Side Unit(RSU),named as a Vehicle to Infrastructure(V2I).However,the frequent topology alterations in VANETs generate several problems with data transmission as the vehicle velocity differs with time.Therefore,the scheme of an effectual routing protocol for reliable and stable communications is significant.Current research demonstrates that clustering is an intelligent method for effectual routing in a mobile environment.Therefore,this article presents a Falcon Optimization Algorithm-based Energy Efficient Communication Protocol for Cluster-based Routing(FOA-EECPCR)technique in VANETS.The FOA-EECPCR technique intends to group the vehicles and determine the shortest route in the VANET.To accomplish this,the FOA-EECPCR technique initially clusters the vehicles using FOA with fitness functions comprising energy,distance,and trust level.For the routing process,the Sparrow Search Algorithm(SSA)is derived with a fitness function that encompasses two variables,namely,energy and distance.A series of experiments have been conducted to exhibit the enhanced performance of the FOA-EECPCR method.The experimental outcomes demonstrate the enhanced performance of the FOA-EECPCR approach over other current methods.展开更多
The microsatellite analysis of DNA plays an important role in studying the population genetics such as population structure, genetic variability and diversity, phylogenetic relationships of wild population of endanger...The microsatellite analysis of DNA plays an important role in studying the population genetics such as population structure, genetic variability and diversity, phylogenetic relationships of wild population of endangered species. The main aim of this study was the estimation of ten microsatellite markers variability in the F. cherrug and F. peregrinus populations. We investigated genetic diversity and structure of populations by using non-invasive genetic identification of individuals to characterize populations of raptors living in the captivity and wild in the Czech Republic during the breeding seasons 2009 and 2010. Within Falco cherrug, significant moderate genetic differentiation （FsT） was observed between Falco cherrug wild and captive. This means that there could be a little differentiation between the wild and the captive populations caused by Falco cherrug subspecies origin or hybridization in the captivity. The absence of significant genetic differentiation between Falco peregrinus wild and captive may be caused by the influence of reintroduction the captive populations in the past. Whereas one breeding population ofFalco peregrinus （Kokorinsko2 2010） was clustered by UPGMA dendrogram into the individual group, we assumed this population like independent, maybe not influenced by other groups. Moreover, a larger sample size would be necessary to confirm the hypothesis.展开更多
文摘Falcon作为一种后量子数字签名算法,被选为美国国家标准与技术研究院(National Institute of Standards and Technology, NIST)首批标准化方案之一. Falcon的核心算法在实际实现中很容易出错,引发可能的密码学误用问题.对Falcon核心函数进行形式化验证,以确保其正确性是非常重要的.在过去10年中,计算机辅助密码学领域将形式化方法引入了密码学工程.这使得高性能密码实现具有了强有力的函数正确性和特定实现安全性属性的形式化保证.贡献包括:(1)构建了完整的证明框架,通过形式化验证方法,成功弥合了Falcon的实际代码实现与数学描述之间的差距;(2)在EasyCrypt证明体系中验证了Falcon中的Montgomery模乘、NTT算法、FFT算法的正确性,并对整数高斯采样算法的正确性证明方法进行了探索;(3)给出及优化了基于Jasmin混合编程的Falcon签名与验证实现.
文摘Rapid development in Information Technology(IT)has allowed several novel application regions like large outdoor vehicular networks for Vehicle-to-Vehicle(V2V)transmission.Vehicular networks give a safe and more effective driving experience by presenting time-sensitive and location-aware data.The communication occurs directly between V2V and Base Station(BS)units such as the Road Side Unit(RSU),named as a Vehicle to Infrastructure(V2I).However,the frequent topology alterations in VANETs generate several problems with data transmission as the vehicle velocity differs with time.Therefore,the scheme of an effectual routing protocol for reliable and stable communications is significant.Current research demonstrates that clustering is an intelligent method for effectual routing in a mobile environment.Therefore,this article presents a Falcon Optimization Algorithm-based Energy Efficient Communication Protocol for Cluster-based Routing(FOA-EECPCR)technique in VANETS.The FOA-EECPCR technique intends to group the vehicles and determine the shortest route in the VANET.To accomplish this,the FOA-EECPCR technique initially clusters the vehicles using FOA with fitness functions comprising energy,distance,and trust level.For the routing process,the Sparrow Search Algorithm(SSA)is derived with a fitness function that encompasses two variables,namely,energy and distance.A series of experiments have been conducted to exhibit the enhanced performance of the FOA-EECPCR method.The experimental outcomes demonstrate the enhanced performance of the FOA-EECPCR approach over other current methods.
文摘The microsatellite analysis of DNA plays an important role in studying the population genetics such as population structure, genetic variability and diversity, phylogenetic relationships of wild population of endangered species. The main aim of this study was the estimation of ten microsatellite markers variability in the F. cherrug and F. peregrinus populations. We investigated genetic diversity and structure of populations by using non-invasive genetic identification of individuals to characterize populations of raptors living in the captivity and wild in the Czech Republic during the breeding seasons 2009 and 2010. Within Falco cherrug, significant moderate genetic differentiation （FsT） was observed between Falco cherrug wild and captive. This means that there could be a little differentiation between the wild and the captive populations caused by Falco cherrug subspecies origin or hybridization in the captivity. The absence of significant genetic differentiation between Falco peregrinus wild and captive may be caused by the influence of reintroduction the captive populations in the past. Whereas one breeding population ofFalco peregrinus （Kokorinsko2 2010） was clustered by UPGMA dendrogram into the individual group, we assumed this population like independent, maybe not influenced by other groups. Moreover, a larger sample size would be necessary to confirm the hypothesis.
