Automating the security analysis process of secure ad hoc routing protocols
Saved in:
| Title: | Automating the security analysis process of secure ad hoc routing protocols |
|---|---|
| Authors: | Andel, T.R.1 todd.andel@afit.edu, Back, G.1 gtback@ieee.org, Yasinsac, A.2 yasinsac@usouthal.edu |
| Source: | Simulation Modelling Practice & Theory. Oct2011, Vol. 19 Issue 9, p2032-2049. 18p. |
| Subjects: | Computer security, Ad hoc computer networks, Network routing protocols, Formal methods (Computer science), Automation, Cyberterrorism |
| Abstract: | Abstract: Conventional security property evaluation approaches for ad hoc network routing protocols do not provide an automated or exhaustive capability. This paper provides an automated process to evaluate security properties in the route discovery phase for on-demand source routing protocols. For a given network topology, model checking is used to exhaustively evaluate protocol abstractions against an attacker attempting to corrupt the route discovery process. Additionally, topology reduction techniques are developed to reduce computational requirements while maintaining exhaustive analysis results. [Copyright &y& Elsevier] |
| Copyright of Simulation Modelling Practice & Theory is the property of Elsevier B.V. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 63982146 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Automating the security analysis process of secure ad hoc routing protocols – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Andel%2C+T%2ER%2E%22">Andel, T.R.</searchLink><relatesTo>1</relatesTo><i> todd.andel@afit.edu</i><br /><searchLink fieldCode="AR" term="%22Back%2C+G%2E%22">Back, G.</searchLink><relatesTo>1</relatesTo><i> gtback@ieee.org</i><br /><searchLink fieldCode="AR" term="%22Yasinsac%2C+A%2E%22">Yasinsac, A.</searchLink><relatesTo>2</relatesTo><i> yasinsac@usouthal.edu</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Simulation+Modelling+Practice+%26+Theory%22">Simulation Modelling Practice & Theory</searchLink>. Oct2011, Vol. 19 Issue 9, p2032-2049. 18p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Computer+security%22">Computer security</searchLink><br /><searchLink fieldCode="DE" term="%22Ad+hoc+computer+networks%22">Ad hoc computer networks</searchLink><br /><searchLink fieldCode="DE" term="%22Network+routing+protocols%22">Network routing protocols</searchLink><br /><searchLink fieldCode="DE" term="%22Formal+methods+%28Computer+science%29%22">Formal methods (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Automation%22">Automation</searchLink><br /><searchLink fieldCode="DE" term="%22Cyberterrorism%22">Cyberterrorism</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: Abstract: Conventional security property evaluation approaches for ad hoc network routing protocols do not provide an automated or exhaustive capability. This paper provides an automated process to evaluate security properties in the route discovery phase for on-demand source routing protocols. For a given network topology, model checking is used to exhaustively evaluate protocol abstractions against an attacker attempting to corrupt the route discovery process. Additionally, topology reduction techniques are developed to reduce computational requirements while maintaining exhaustive analysis results. [Copyright &y& Elsevier] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Simulation Modelling Practice & Theory is the property of Elsevier B.V. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=63982146 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1016/j.simpat.2011.05.008 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 18 StartPage: 2032 Subjects: – SubjectFull: Computer security Type: general – SubjectFull: Ad hoc computer networks Type: general – SubjectFull: Network routing protocols Type: general – SubjectFull: Formal methods (Computer science) Type: general – SubjectFull: Automation Type: general – SubjectFull: Cyberterrorism Type: general Titles: – TitleFull: Automating the security analysis process of secure ad hoc routing protocols Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Andel, T.R. – PersonEntity: Name: NameFull: Back, G. – PersonEntity: Name: NameFull: Yasinsac, A. IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 10 Text: Oct2011 Type: published Y: 2011 Identifiers: – Type: issn-print Value: 1569190X Numbering: – Type: volume Value: 19 – Type: issue Value: 9 Titles: – TitleFull: Simulation Modelling Practice & Theory Type: main |
| ResultId | 1 |
