Formal modeling of trust networks using pi-calculus

Lu Lai Yuan; Guo Sun Zeng; Wei Wang

Formal modeling of trust networks using pi-calculus

Lu Lai Yuan^*
, Guo Sun Zeng
, Wei Wang

^*此作品的通讯作者

Tongji University

科研成果: 期刊稿件 › 文章 › 同行评审

1 引用（Scopus）

摘要

The trust network in Grid environment is hard to be modeled due to its concurrency and distribution. So a process algebra approach to formalizing the trust network was proposed. The trust network was defined and the corresponding relationship was discussed between its nodes and pi-calculus. Besides, the rules of describing trust networks with pi-calculus were introduced. Based on these rules, the formal model of trust networks was established. Its validity was verified by MWB, a model checker of pi-calculus. Theoretical analysis shows the formal model proposed is live and safe, satisfying QoS requirements of users in trust.

源语言	英语
页（从-至）	57-61+116
期刊	Xitong Fangzhen Xuebao / Journal of System Simulation
卷	20
期	1
出版状态	已出版 - 5 1月 2008
已对外发布	是

其它文件与链接

链接到 Scopus 的出版物

引用此

@article{4cccc1d91faa453a9d52496a071d66a5,

title = "Formal modeling of trust networks using pi-calculus",

abstract = "The trust network in Grid environment is hard to be modeled due to its concurrency and distribution. So a process algebra approach to formalizing the trust network was proposed. The trust network was defined and the corresponding relationship was discussed between its nodes and pi-calculus. Besides, the rules of describing trust networks with pi-calculus were introduced. Based on these rules, the formal model of trust networks was established. Its validity was verified by MWB, a model checker of pi-calculus. Theoretical analysis shows the formal model proposed is live and safe, satisfying QoS requirements of users in trust.",

keywords = "Formal modeling, Grid security, Pi-calculus, Process algebra, Trust networks",

author = "Yuan, \{Lu Lai\} and Zeng, \{Guo Sun\} and Wei Wang",

year = "2008",

month = jan,

day = "5",

language = "英语",

volume = "20",

pages = "57--61+116",

journal = "Xitong Fangzhen Xuebao / Journal of System Simulation",

issn = "1004-731X",

publisher = "Acta Simulata Systematica Sinica",

number = "1",

}

TY - JOUR

T1 - Formal modeling of trust networks using pi-calculus

AU - Yuan, Lu Lai

AU - Zeng, Guo Sun

AU - Wang, Wei

PY - 2008/1/5

Y1 - 2008/1/5

N2 - The trust network in Grid environment is hard to be modeled due to its concurrency and distribution. So a process algebra approach to formalizing the trust network was proposed. The trust network was defined and the corresponding relationship was discussed between its nodes and pi-calculus. Besides, the rules of describing trust networks with pi-calculus were introduced. Based on these rules, the formal model of trust networks was established. Its validity was verified by MWB, a model checker of pi-calculus. Theoretical analysis shows the formal model proposed is live and safe, satisfying QoS requirements of users in trust.

AB - The trust network in Grid environment is hard to be modeled due to its concurrency and distribution. So a process algebra approach to formalizing the trust network was proposed. The trust network was defined and the corresponding relationship was discussed between its nodes and pi-calculus. Besides, the rules of describing trust networks with pi-calculus were introduced. Based on these rules, the formal model of trust networks was established. Its validity was verified by MWB, a model checker of pi-calculus. Theoretical analysis shows the formal model proposed is live and safe, satisfying QoS requirements of users in trust.

KW - Formal modeling

KW - Grid security

KW - Pi-calculus

KW - Process algebra

KW - Trust networks

UR - https://www.scopus.com/pages/publications/40049087690

M3 - 文章

AN - SCOPUS:40049087690

SN - 1004-731X

VL - 20

SP - 57-61+116

JO - Xitong Fangzhen Xuebao / Journal of System Simulation

JF - Xitong Fangzhen Xuebao / Journal of System Simulation

IS - 1

ER -

Formal modeling of trust networks using pi-calculus

摘要

其它文件与链接

指纹

引用此