LAMAS Project

A web-based visualisation and formal representation of our project on Key Leaks in Encrypted Communication. This project explores encryption with Kripke models and action models.

Features

• Kripke Models: Implementation of Kripke models for reasoning about agent knowledge.
• Action Models: Implementation of action models for encryption and changes in agent knowledge.
• Logic Visualisation: A web interface built with HTML/CSS.

💻 Installation & Local Setup

To get this repository running on your laptop, follow these steps:

1. Clone the repository:

   git clone https://github.com/IvaylaSt/IvaylaSt.github.io.git
   

2. Navigate to the directory:

   cd [chosen directory]
   

3. Open the project: Open index.html in your preferred web browser to view the interface.