Identity Authentication Scheme Expansion Based on Speaker Verification

Zhao, Geng; Li, Xufei

doi:10.4304/jcp.8.8.2027-2033

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2014

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 8 publications

(6 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Therefore, SPIN is a tool suitable for verifying communication protocols [6]. Other verification techniques are also studied in the literature [7] [8] [9] [10].…”

Section: Introductionmentioning

confidence: 99%

Model Checking the Convergence Property of BGP Networks

Yin¹,

Ma²,

Chen³

2014

JSW

View full text Add to dashboard Cite

The Border Gateway Protocol (BGP) is an important inter-domain routing protocol, which is widely used in Internet. It allows independent policies to be designed for each Autonomous System (AS). However, the flexibility in designing independent policies causes the convergence problem, i.e., a BGP network may constantly send routing information between ASes and cannot reach a stable state. In this paper, we propose an approach for model checking the convergence property of BGP networks. We firstly establish a formal model of BGP networks and define its convergence property. Then we use the Promela language to describe this model and analyze its convergence. The model is generic enough, thus different instances of BGP networks can be simulated and verified by only modifying parameters and policies. Finally, as examples, we simulate and verify some typical instances of BGP networks by using the SPIN model checker.

show abstract

“…Therefore, SPIN is a tool suitable for verifying communication protocols [6]. Other verification techniques are also studied in the literature [7] [8] [9] [10].…”

Section: Introductionmentioning

confidence: 99%