linkding

Shared bookmarks

A Security Kernel Based on the Lambda Calculus

#kernel #scheme #security | Cooperation between independent agents depends upon establishing a degree of security. Each of the cooperating agents needs assurance that the cooperation will not endanger resources of value to that agent. In a computer system, a computational mechanism can assure safe cooperation among the system's users by mediating resource access according to desired security policy. Such a mechanism, which is called a security kernel, lies at the heart of many operating systems and programming environments.

1 month ago | View Shared by ray
awslabs/git-secrets: Prevents you from committing secrets and credentials into git repositories

#git #security | Prevents you from committing secrets and credentials into git repositories - awslabs/git-secrets

2 months ago | View Shared by ray
clj-holmes/clj-watson: clojure deps SCA

#clojure #security | clojure deps SCA. Contribute to clj-holmes/clj-watson development by creating an account on GitHub.

2 months ago | View Shared by ray
Keycloak

#authentication #security #web | Keycloak - the open source identity and access management solution. Add single-sign-on and authentication to applications and secure services with minimum effort.

2 months ago | View Shared by ray
Writing secure Go code | Jakub Jarosz

#go #programming #security #tech

8 months ago | View Shared by ray
anchore/syft: CLI tool and library for generating a Software Bill of Materials from container images and filesystems

#sbom #security #tech

1 year ago | View Shared by ray
prowler-cloud/prowler at 2.12.1

#aws #security #tech | Open Source security tool to perform AWS security best practices assessments

1 year ago | View Shared by ray

LINKDING

Shared bookmarks

User

Tags

Shared bookmarks

User

Tags

anchore/syft: CLI tool and library for generating a Software Bill of Materials from container images and filesystems