guttman

guttman

1. Daniel Guttman, Public Purpose and Private Service: The Twentieth Century Culture of Contracting Out and the Evolving Law of Diffused Sovereignty

世纪的承包文化以及逐渐扩散的主权法制的演化

2. FabregaN Herzog and Guttman proposed a kind of formal methods named STRAND SPACE MODEL,which uses a kind of order graph between its nodes existing casual relationship to represent protocol executions.

串空间(strand Space)模型是由Fabrega、Herzog和Guttman三人提出的一种形式化方法,它使用一种结点间存在因果关系的有向图来表示协议的运行。

3. This paper makes a summary of seurity of protocols and formal method in chapter 2.Strand Space, brought forward by Fabrega, Herzog and Guttman, is a applied, intuitionistic and strict formal method for security protocols analysis.

串空间(STRAND SPACE)模型由Fabrega, Herzog和Guttman三人提出,是分析安全协议的一种实用、直观和严格的形式化方法。

4. Guttman, the other is Athena which is a new efficient automated approach for security protocol proposed by D. Song.

其二是Song在串空间模型上提出的Athena方法。

5. Guttman's sign

古特曼(氏)征:突眼性甲状腺肿时, 甲状腺部听诊可闻及营营声

6. Guttman method

格特曼法

7. Guttman Scale

格特曼量表

8. Guttman scaling

格特曼量表法

9. Brownlee N, Guttman E. Expectations for Computer Security Incident Response. RFC2350, 1998-06

段海新译.网络安全事件响应.北京:人民邮电出版社,2002

10. Because of the special structure of ideal, Guttman, et al, the ideal of information algebra and honesty have been introduced to the analysis of the secrecy of Otway-Rees protocol in literature.

由于理想结构的特殊性，使得关于消息代数上的理想以及诚实的概念被引入到分析协议的保密性。对理想在分析其他协议安全性方面作了进一步的研究。