مرکز منطقه ای اطلاع رساني علوم و فناوري - Using equivalence-checking to verify robustness to denial of service

Title of article :

Using equivalence-checking to verify robustness to denial of service

Author/Authors :

Stéphane Lafrance، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2006

Pages :

From page :

1327

To page :

1348

Keywords :

Equivalence-checking , Denial of service , protocols , Process algebra , Admissible interference , Bisimulation

Journal title :

Computer Networks

Serial Year :

2006

Journal title :

Computer Networks

Record number :

299708

Link To Document :