Merge pull request #20

adding benchmarking for security evaluation

adding benchmarking files for security evaluation for record.

adding batch cli for security reasoning, updating dataset extension, and some minor changes

Merge pull request #19

adding models CONSTANTS in the .env.backup and updating README.md

adding models CONSTANTS in the .env.backup

Merge pull request #18

updating the prompts, cli.py and reading the adversary model in the initial state instead of during llm call. aggregating results as a report in ASCII

commandline for calling the workflow. also adding output aggregation for aggregating output for all security goals.

initial implementation for reasoning using Parallelization technique

adding the rest of security goals :6.txt: Resistance against Identity Mis-Binding

initial template for security reasoning for:

Merge pull request #17

implement binder-free AC term normalization [Fom: A term equality problem equivalent to Graph Isomorphism-David A. Basin] for Actions, Goals, and ChannelKeys.