HALTSEAL

Downloadable software for computer security, namely, access control and authorization for network communications and computer systems; fail-closed authorization of software actions, namely, device input/output operations and network communications, by validating cryptographically verifiable authorization permits prior to execution; generating and verifying cryptographically secured audit logs, digital authorization tokens, and security and compliance reports

Providing on-line non-downloadable software for computer security, namely, access control and authorization for network communications and computer systems; fail-closed authorization of software actions, namely, device input/output operations and network communications, by validating cryptographically verifiable authorization permits prior to execution; generating and verifying cryptographically secured audit logs, digital authorization tokens, and security and compliance reports