Safe HTML Types for Java
This is the Java version of the safe HTML types library which allows safe-by-construction of web applications by introducing types with safe contracts for snippets of content in web languages.
Security contract types
This is the Java version of the safe HTML types library which allows safe-by-construction of web applications by introducing types with safe contracts for snippets of content in web languages.
Security contract types
Apache License 2.0