Title of article
Using equivalence-checking to verify robustness to denial of service
Author/Authors
Stéphane Lafrance، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
22
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