loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Author: Sabina Szymoniak

Affiliation: Department of Computer Science, Czestochowa University of Technology, Poland

Keyword(s): Formal Methods, Security Protocols, Timed Analysis, Verification.

Abstract: The paper discusses the problem of influence of time parameters on protocols security. It is a significant issue because some periods may affect us to be or not to be in the real and virtual world. Time can decide about the security of our private data, money and many others. It is necessary to check whether used protocols provide an appropriate security level of our data. Also, Intruder capabilities and knowledge may evolve with time. With wrongly selected time parameters, the Intruder may perform an attack on protocol and deceive honest users. The research has expanded the formal model and computational structure designed previously. Based on this, we implemented a tool. This tool can calculate the correct protocol execution and carry out simulations. Thanks to this checking the possibility of Intruder attack including various time parameters was possible. We presented experimental results on NSPK protocol and WooLamPi protocol examples.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.15.219.217

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Szymoniak, S. (2021). Time Influence on Security Protocol. In Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE; ISBN 978-989-758-508-1; ISSN 2184-4895, SciTePress, pages 181-188. DOI: 10.5220/0010388701810188

@conference{enase21,
author={Sabina Szymoniak.},
title={Time Influence on Security Protocol},
booktitle={Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE},
year={2021},
pages={181-188},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010388701810188},
isbn={978-989-758-508-1},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
TI - Time Influence on Security Protocol
SN - 978-989-758-508-1
IS - 2184-4895
AU - Szymoniak, S.
PY - 2021
SP - 181
EP - 188
DO - 10.5220/0010388701810188
PB - SciTePress