The Howdy Glossary

S2 is a programming language for secure access to an application or service. It creates a secure frame around services by using cryptographic keys and access policies. S2 uses the Sealed Abstract Data Type (SADT) pattern, which restricts how data can be accessed after it has been created. S2 provides controlled ways to share access credentials with other components in a system without leaking secrets or compromising security. This makes the language useful in areas like cloud computing where applications need secure communication channels despite being distributed across multiple servers and networks.