ASN.2 : A model-driven approach to secure protocol implementation
See "Concrete Examples/TLS.asn2" for a quick format implementation. Currently the project only reads this file. Can be changed in program.hs
Haskell platform
Text.PrettyPrint.Leijen
cabal update
cabal install wl-pprint
Look at the example protocol format in
Concrete Examples/TLS.asn2
Run the api generator with
runhaskell program.hs
All contributions are welcome, but subject to review
- Buster Kim Mejborn - Initial work - mejborn
See also the list of contributors who participated in this project.
This project is licensed under the MIT License
Sebastian Mödersheim - www2.compute.dtu.dk/~samo