Browse Source

Add not asked questions.

Thomas Kerber 1 year ago
Signed by: tk <> GPG Key ID: 8489B911F9ED617B
1 changed files with 19 additions and 0 deletions
  1. +19

+ 19
- 0 View File

@@ -1,3 +1,22 @@
# Yggdrasil

Yggdrasil is a UC-based system for modelling security protocols.

## Not Asked Questions

Q: Why Haskell?

A: In an environment where things behave adversarially, having a very powerful
type system is useful to reason about what things *can* do. Further, pure,
functional languages allow restricting the communication between components
that should not communicate, and lend themselves more easily to formal
reasoning. Eventually the goal is to formally prove statements about execution
as well, but we are a long way off.

Q: Why AGPL?

A: AGPL is actually less strong than I'd like here, but stronger would be
unreasonable. I usually prefer permissive licenses, however it is crucial for
security protocols - and their implementation - to be available for public
scrutiny. If the use of AGPL results in one more protocol being made public, I
consider that a gain.