Because of its compactness, fineness and unambiguity, formal analysis of cryptographic protocol has been an efficient and correct method step by step.
形式化分析由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径。
We'd better follow the seven-step hand-washing method to keep healthy.
我们最好遵循七步洗手法来保持健康。
In the next column in this series, I will apply the method to the banking domain of account management and describe each step with an example.
这一系列的下一篇文章中，我将应用该方法到帐户管理的空领域中，并且用例子来描述每个步骤。
A single method can no longer produce reliable estimates across every step in the process.
单一的评估方法不可能在过程的每一步产生可靠的评估结果。
Verification of the system stress test is the reason for this final step in the method.
之所以要执行方法中的这最后一步，是为了对系统压力测试进行核实。
The syntactic shorthand (see Listing 5) was retained as the preferred method whereby options can be defined with name-value attributes on the step element itself.
语法简写(参见清单5)作为首选的方法被保留，可以在步骤元素上使用名称-值属性定义选项。
Step 3: Specify the method to be used for authenticating the user.
第 3步：指定验证用户所使用的方法。
Step (2) sets the HTTP method to POST which determines the operation to be carried out by the RESTful service.
步骤(2)将HTTP方法设置为POST，它决定由rest式服务执行的操作。
Notice that the compile method includes the optimization specified by Step 2 of our algorithm.
注意，compile方法包括算法的第2步所指定的优化过程。
Step 3: Calling a method of the insecure bean.
步骤3：调用不安全bean的方法。
The first step is easily achieved by calling the following utility method.
调用下面的实用程序方法可以很容易地完成第一步。
Step 5. Perform the search: Here you call the search method of the DirContext object you got in Step 2 of Listing 6.
步骤5.执行搜索：在这里调用清单6的步骤2得到的DirContext对象的search方法。
This step calls the method getIdForPath created previously.
此步骤调用前面创建的方法getIdForPath。
The initialize method is called by Batch Container during the initialization of the job step.
批处理容器将在作业步骤的初始化期间调用initialize方法。
When you call a method of a secure bean, the proxy object that you got in Step 4 dispatches a method invocation request to the interceptor.
当调用安全bean的方法时，您在步骤4中获得的代理对象将一个方法调用请求分配给拦截器。
The rebind method takes exactly the same parameters that you passed to the three-parameter bind method in Step 4 of Listing 4, the StoreBobPreferences application.
rebind方法接收的参数就是在StoreBobPreferences应用程序的清单4的步骤4中传递给带有三个参数的bind方法的参数。
If you need to access or override behavior for this step, use the PreInit method to create or re-create dynamic controls, set a master page or theme or read or set profile property values.
如果在这一步，你需要访问或者是覆写本方法，你可以利用PreInit方法来创建一个或者是动态的控件，然后给它指定主页面或者是主题或者是添加属性方法。
The Http11NioProtocol configured in the first step calls the event() method instead of doGet or doPost to process requests.
在第一步中配置的Http11NioProtocol调用event()方法来处理请求，而不是doGet或doPost。
In contrast, a gnosis.xml.objectify node has no built-in method to step through all of its subelements.
相比之下，gnosis . xml . objectify节点没有内置方法可遍历它所有的子元素。
It's called Monroe's Motivated Sequence, a 5-step method for organizing motivational speeches.
这被称为Monroe的煽动序列，是组织煽动性演说的有5个步骤的方法。
One of the really powerful and useful things about the AdminTask scripting object is that almost every method includes a way to "step through" the parameter definitions.
admintask脚本对象真正强大、有用的特点之一是，几乎所有方法都提供研究参数定义的方法。
Change the listener binding for MDBs (this is the same as method 1 step 2), and specify MQListener as the listener port.
更改mdb的侦听器绑定(这个操作与方法1中的第2步相同)，并指定MQListener作为侦听器端口。
The last step of the decode method is to store the submitted value in the component (later it will be converted then validated; see Resources for more on validation and conversion).
decode方法的最后一步是把提交的值保存到组件(稍后会转换并验证它，请参阅参考资料获取更多关于验证和转换的内容)。
A servlet that USES the Template Method pattern to encapsulate a three-step workflow.
一个采用TemplateMethod模式的Servlet封装一个包含三个步骤的工作流。
Dr He's team experimented with different shapes and found a simple one-step method using polystyrene spheres treated with oxygen and then coated with silica to build raspberry-like shapes.
贺博士的团队针对不同的形状的纳米颗粒做了实验，发现一个简单的一步到位的方法：采用聚苯乙烯微球，先经氧气处理，然后再涂上硅石，便会形成树莓形状的颗粒。
The development of an executable workflow is a key step in the on demand business process life cycle method.
可执行工作流的开发是随需应变业务流程生命周期中的一个关键步骤。
This book provides a step-by-step method to pinpoint painful memories and quickly release toxic emotions and their harmful effects on your body.
这本书逐步讲解了一种帮助找到痛苦回忆，并迅速释放有害情绪以及它们对身体造成的恶性影响的方法。
This article explored a step-by-step method to implementing privacy controls in a social networking application.
本文讲解了逐步实现社交网络应用程序隐私控制的方法。
This article explored a step-by-step method to implementing privacy controls in a social networking application.
本文讲解了逐步实现社交网络应用程序隐私控制的方法。
应用推荐