1) verification code technology
验证码技术
1.
This paper describes in detail two kinds of defense technology to resolve hacker attacks: verification code technology and solve the SQL script against technology.
详细叙述了解决黑客攻击的两种防御技术:验证码技术和解决SQL注入式脚本攻击技术。
2) technology demonstration
技术验证
1.
Foreign technology demonstration in aeroengine development is briefly introduced in this paper.
简要介绍了国外航空发动机研制的技术验证情况 ,分析了技术验证的目的、作用和技术特点 ,提出了实施技术验证计划中应注意的问题 ,并对验证计划的整体规划、关键技术分解、设计体系的继承和发展、部件和发动机不同验证阶段的侧重点等提出了建
3) verifiable technique
验证技术
1.
This article introduces an formal operational semantics and summarizes a verifiable technique based on formulas.
本文给出一种形式化操作语义,并概述基于形式化规则的验证技术。
4) simulation verification technology
模拟验证技术
1.
Investigation analysis and simulation verification technology for mine gas explosion accident;
煤矿瓦斯爆炸事故调查分析及模拟验证技术
5) Verification Modeling Technology(VMT)
验证模型技术
6) formal verification technique
形式化验证技术
1.
In this paper,illustrate the formal verific ation requirement for security protocols, also describe several formal verification techniques and set forth the relative merit of each in detail.
文中描述了安全协议验证的形式化需求,并且详细阐述了目前流行的几种形式化的验证技术及各自的优缺点,探讨了形式化验证技术所面临的挑战,指出目前在这方面所做的工作以及有待发展的方向。
补充资料：验证
验证——
验证是指对证券委托买卖的合法性和同一性进行审查。验证的合法性审查包括投资主体的合法性和投资程序的合法性。程序合法性审查是指委托程序必须根据交易场所规则进行。同一性审查是指委托人、证件与委托单之间的一致性的审查，包括委托人与所提供证件一致及证件与委托单一致两个方面。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条