Logic-Based Security Architecture for Systems Providing Multihop Communication
Security is a basic element of distributed systems such as ad hoc and sensor communication networks. Several standards define security requirements and enforcers, such as ITU-T Recommendations X.800 and X.805. It is essential to specify and analyze protocols to know which security requirements they...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2013-01-01
|
| Series: | International Journal of Distributed Sensor Networks |
| Online Access: | https://doi.org/10.1155/2013/768489 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832547885373194240 |
|---|---|
| author | Iman Almomani Eman Al-Banna Mousa AL-Akhras |
| author_facet | Iman Almomani Eman Al-Banna Mousa AL-Akhras |
| author_sort | Iman Almomani |
| collection | DOAJ |
| description | Security is a basic element of distributed systems such as ad hoc and sensor communication networks. Several standards define security requirements and enforcers, such as ITU-T Recommendations X.800 and X.805. It is essential to specify and analyze protocols to know which security requirements they achieve. This paper presents a logic-based security architecture (LBSA). LBSA is a systematic way to test if a protocol is secure by checking what security requirements are achieved. Different rules, actions, and sets which fit into the proposed LBSA are included, new ones are also added to complete the architecture. The key advantage of LBSA is that it enables a security protocol to prove its correctness mathematically. Mathematical proofs provided by LBSA cover more cases that usually cannot be covered exhaustively by simulation tools. This paper also specifies and analyzes several security enforcers and protocols and mathematically proves which security requirements they achieve. Mapping between security requirements and inference rules/actions is also provided to facilitate the use of LBSA. Some enforcers are analyzed using LBSA to demonstrate how they achieve security requirements. Finally, we take Ariadne protocol as a case study and show how to use the proposed LBSA architecture to prove that this protocol is secure. |
| format | Article |
| id | doaj-art-edc95928dc674ad4b9ea43f03fde8e2e |
| institution | Kabale University |
| issn | 1550-1477 |
| language | English |
| publishDate | 2013-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | International Journal of Distributed Sensor Networks |
| spelling | doaj-art-edc95928dc674ad4b9ea43f03fde8e2e2025-02-03T06:43:07ZengWileyInternational Journal of Distributed Sensor Networks1550-14772013-01-01910.1155/2013/768489Logic-Based Security Architecture for Systems Providing Multihop CommunicationIman Almomani0Eman Al-Banna1Mousa AL-Akhras2 Computer Science Department, King Abdullah II School for Information Technology, The University of Jordan, Amman 11942, Jordan Computer Science Department, King Abdullah II School for Information Technology, The University of Jordan, Amman 11942, Jordan Computer Information Systems Department, King Abdullah II School for Information Technology, The University of Jordan, Amman 11942, JordanSecurity is a basic element of distributed systems such as ad hoc and sensor communication networks. Several standards define security requirements and enforcers, such as ITU-T Recommendations X.800 and X.805. It is essential to specify and analyze protocols to know which security requirements they achieve. This paper presents a logic-based security architecture (LBSA). LBSA is a systematic way to test if a protocol is secure by checking what security requirements are achieved. Different rules, actions, and sets which fit into the proposed LBSA are included, new ones are also added to complete the architecture. The key advantage of LBSA is that it enables a security protocol to prove its correctness mathematically. Mathematical proofs provided by LBSA cover more cases that usually cannot be covered exhaustively by simulation tools. This paper also specifies and analyzes several security enforcers and protocols and mathematically proves which security requirements they achieve. Mapping between security requirements and inference rules/actions is also provided to facilitate the use of LBSA. Some enforcers are analyzed using LBSA to demonstrate how they achieve security requirements. Finally, we take Ariadne protocol as a case study and show how to use the proposed LBSA architecture to prove that this protocol is secure.https://doi.org/10.1155/2013/768489 |
| spellingShingle | Iman Almomani Eman Al-Banna Mousa AL-Akhras Logic-Based Security Architecture for Systems Providing Multihop Communication International Journal of Distributed Sensor Networks |
| title | Logic-Based Security Architecture for Systems Providing Multihop Communication |
| title_full | Logic-Based Security Architecture for Systems Providing Multihop Communication |
| title_fullStr | Logic-Based Security Architecture for Systems Providing Multihop Communication |
| title_full_unstemmed | Logic-Based Security Architecture for Systems Providing Multihop Communication |
| title_short | Logic-Based Security Architecture for Systems Providing Multihop Communication |
| title_sort | logic based security architecture for systems providing multihop communication |
| url | https://doi.org/10.1155/2013/768489 |
| work_keys_str_mv | AT imanalmomani logicbasedsecurityarchitectureforsystemsprovidingmultihopcommunication AT emanalbanna logicbasedsecurityarchitectureforsystemsprovidingmultihopcommunication AT mousaalakhras logicbasedsecurityarchitectureforsystemsprovidingmultihopcommunication |