This documentation only covers my changes to Morcos' original SPKI classes, which include the new implementations of tags and new principals that Snowflake adds to SPKI. The most significant change is my complete reimplementation of tags based on the tag semantics developed in the dissertation. It includes these classes: The following classes are new ``SDSIObjects'' I have introduced to the package, including three new types of principal: The following classes are documented here because they include small but semantically important changes to classes that came in Morcos' package. @pkgHide Auth @pkgHide Cert @pkgHide Def @pkgHide Hash @pkgHide KeyHolder @pkgHide Op @pkgHide SDSIException @pkgHide SDSIPrincipal @pkgHide SDSIPrivateKey @pkgHide SDSIRSAPublicKey @pkgHide SDSISecretKey @pkgHide Sequence @pkgHide Subject @pkgHide Validity @pkgHide Verification @pkgHide VerificationException @pkgHide Name @pkgHide SDSIPublicKey @pkgHide SDSIRSAPrivateKey @pkgHide SDSISignature @pkgHide Acl.AclEntry