排序方式: 共有16条查询结果,搜索用时 0 毫秒
11.
12.
针对昆明铁路局信息化建设现状。提出对路局信息化建设进行总体规划的必须性、紧迫性,阐述了如何进行信息化建设总体规划3-作。 相似文献
13.
14.
台阶式边坡是针对以水土保持为核心的生态建设目标,力求通过最简单的方法来解决最本质的问题。并达到生态能力长期持续的一种方法,有着广泛的应用前景,值得推广使用。 相似文献
15.
16.
IntroductionCryptographic protocols are the protocols usedto establish secure communication over insecureopen networks by exploiting cryptography,andthey are thought to be simple because just severalmessages are included. However,it is a subtleproblem to guarantee the correctness of a crypto-graphic protocol[1] .In order to solve this problem,many researchers have worked on applying formalmethods to analyze cryptographic protocols,andthey are notperformed on the executable code,butrather on Do… 相似文献