security iso free download

Showing 4 open source projects for "security iso"

View related business solutions

Scientific/Engineering Clear Filters & Widen Search

Build Agents and Models on One Platform
Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

Try It Free
Full-stack observability with actually useful AI | Grafana Cloud
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.

Create free account
1

SEPIA: Security-oriented PN Framework

Petri net framework for security related modeling and reasoning.

...SEPIA encloses the Multi Schema Validator (https://msv.java.net/) and isorelax (http://iso-relax.sourceforge.net/) The documentation can be found under http://doku.telematik.uni-freiburg.de/sepia.

Downloads: 0 This Week

Last Update: 2015-07-28
See Project
2

Safe C Library

The Safe C Library provides bound checking memory and string functions per ISO/IEC TR24731. These functions are alternative functions to the existing standard C library that promote safer, more secure programming. The ISO/IEC Programming languages — C spec, C11, now includes the bounded APIs in Appendix K, "Bounds-checking interfaces". This latest upload supports building static library, a shared library and a linux kernel module.

3 Reviews

Downloads: 0 This Week

Last Update: 2016-11-28
See Project
3

chameleon_14443

Low-cost, ISO 14443 compliant emulator for contactless smartcards

! This website is discontinued ! The new, improved MiniChameleon is maintained as of January 2014 on github: https://github.com/emsec/ChameleonMini ATXmega based emulator for contactless smartcards, designed and maintained by Embedded Security Group at the Ruhr-University in Bochum.

Downloads: 0 This Week

Last Update: 2016-05-02
See Project
4

Security Constrained Unit Commitment

Security Constrained Unit Commitment. Simulation of Power Markets cleared through central commitment and dispatch (MISO/SPP, PJM, ISO NE, Cal ISO MRTU, ERCOT Nodal). Calculates nodal LMP.

Downloads: 0 This Week

Last Update: 2015-10-24
See Project
Custom VMs From 1 to 96 vCPUs With 99.95% Uptime
General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Try Free