{'fraction_non_alphanumeric': 0.010432190760059613, 'fraction_numerical': 0.0, 'mean_word_length': 5.165137614678899, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
A THEORETICAL FRAMEWORK FOR MODELLING AND SIMULATING SECURITY PROTOCOLS

The aim of this paper is to present an approach to describe cryptographic protocols using agent-based simulation. This provides a framework to understand and model protocol behaviour and interaction in a simulation environment. Simulation techniques in the past have proven to be useful especially in areas where it is critical for testing to be carried out. This allows the designer to determine the correctness and efficiency of a design before the real system is constructed and deployed. Hence, an attempt to use this approach in testing the correctness of cryptographic protocols is promising.