verdict_parser

Module x509

Source

Re-exports§

pub use crate::asn1::ObjectIdentifierValue;
pub use crate::asn1::UInt;
pub use macros::*;

Modules§

macros

Macros§

gen_lemma_disjoint
Macro to generate a lemma that states the disjointness of a list of spec terms NOTE: the disjointness of the provided terms are trusted incorrect calls to this might lead to unsoundness
gen_lemma_disjoint_helper
oid
Macro for constructing an OID
oid_name
Map OID names to their values NOTE: to add a new OID, add an entry here and also in gen_oid_axioms below (if disjointness is required)
spec_oid

Structs§

AccessDescription
AlgorithmIdentifier
AlgorithmIdentifierMapper
AlgorithmIdentifierPoly
AlgorithmParamCont
AttributeTypeAndValue
AuthorityInfoAccess
AuthorityKeyIdentifier
BasicConstraints
Certificate
CertificateInner
CertificatePolicies
DSAParam
DigestInfo
DirectoryString
ECDSASigValue
ExtendedKeyUsage
Extension
ExtensionCont
Parse an optional boolean field (“critical”) (default to bool) before the actual extension parameter
ExtensionMapper
ExtensionParamCont
ExtensionPoly
Extensions
GeneralName
GeneralNames
GeneralSubtree
GeneralSubtrees
Name
NameConstraints
PolicyInfo
PublicKeyInfo
RDN
RSAParam
RSAPublicKey
TBSCertificate
Time
Validity
VecDeep
A wrapper for Vec with its View implemented one layer deeper than the original Vec

Type Aliases§

AccessDescriptionValue
AccessDescriptionValueOwned
AlgorithmIdentifierInner
AlgorithmIdentifierValue
AlgorithmIdentifierValueOwned
AlgorithmParamValue
AlgorithmParamValueOwned
AttributeTypeAndValueValue
AttributeTypeAndValueValueOwned
AuthorityInfoAccessValue
AuthorityInfoAccessValueOwned
AuthorityKeyIdentifierValue
AuthorityKeyIdentifierValueOwned
BasicConstraintsValue
BasicConstraintsValueOwned
CertificateInnerValue
CertificateInnerValueOwned
CertificatePoliciesValue
CertificatePoliciesValueOwned
CertificateValue
DSAParamValue
DSAParamValueOwned
DigestInfoValue
DigestInfoValueOwned
DirectoryStringValue
DirectoryStringValueOwned
ECDSASigValueValue
ECDSASigValueValueOwned
ExtendedKeyUsageValue
ExtendedKeyUsageValueOwned
ExtensionInner
Extension ::= SEQUENCE { extnID OBJECT IDENTIFIER, critical BOOLEAN DEFAULT FALSE, extnValue OCTET STRING }
ExtensionParamValue
ExtensionParamValueOwned
ExtensionValue
ExtensionValueOwned
ExtensionsInner
ExtensionsValue
ExtensionsValueOwned
GeneralNameValue
GeneralNameValueOwned
GeneralNamesValue
GeneralNamesValueOwned
GeneralSubtreeValue
GeneralSubtreeValueOwned
GeneralSubtreesValue
GeneralSubtreesValueOwned
NameConstraintsValue
NameConstraintsValueOwned
NameValue
NameValueOwned
PolicyInfoValue
PolicyInfoValueOwned
PublicKeyInfoValue
PublicKeyInfoValueOwned
RDNValue
RDNValueOwned
RSAParamValue
RSAParamValueOwned
RSAPublicKeyValue
RSAPublicKeyValueOwned
SpecAccessDescriptionValue
SpecAlgorithmIdentifierValue
SpecAlgorithmParamValue
SpecAttributeTypeAndValueValue
SpecAuthorityInfoAccessValue
SpecAuthorityKeyIdentifierValue
SpecBasicConstraintsValue
SpecCertificateInnerValue
SpecCertificatePoliciesValue
SpecCertificateValue
SpecDSAParamValue
SpecDigestInfoValue
SpecDirectoryStringValue
SpecECDSASigValueValue
SpecExtendedKeyUsageValue
SpecExtensionParamValue
SpecExtensionValue
SpecExtensionsValue
SpecGeneralNameValue
SpecGeneralNamesValue
SpecGeneralSubtreeValue
SpecGeneralSubtreesValue
SpecNameConstraintsValue
SpecNameValue
SpecPolicyInfoValue
SpecPublicKeyInfoValue
SpecRDNValue
SpecRSAParamValue
SpecRSAPublicKeyValue
SpecTBSCertificateValue
SpecTimeValue
SpecValidityValue
TBSCertificateValue
TBSCertificateValueOwned
TimeValue
TimeValueOwned
ValidityValue
ValidityValueOwned