implementation("at.asitplus.awesn1:crypto:0.4.0")
Awesome Syntax Notation One - structural crypto and PKI models