FINX RTOS Security Enhanced (SE) v3.1
MBDA Italia S.p.A. - Common Criteria OCSI/CERT/RES/03/2012/RC
archivedEAL4+
Key facts
- Scheme
- Common Criteria
- Certificate
- OCSI/CERT/RES/03/2012/RC
- Standard
- Common Criteria
- Assurance level
- EAL4+, ALC_FLR.1
- Status
- archived
- Manufacturer
- MBDA Italia S.p.A.
- Category
- Operating Systems
- Certification scheme
- IT
- Certified
- May 21, 2014
- Valid until
- September 1, 2019
- Versions
- 3.1
Algorithms
- AES
- Diffie-Hellman
- DSA
- HMAC
- MD5
- PBKDF2
- SHA-1
- SHA-256
- SHA-512
- SHA256
Algorithms named in the security target and certification report.
CVEs that may affect this product
sec-certs has not matched any CVE to this certificate. That is not proof the product is unaffected.
Related CVEs and certificate references are automated matches by sec-certs, not reviewed by humans: treat them as "may be affected" and verify before acting.
Documents and sources
Source: sec-certs.org (CRoCS, Masaryk University), from NIST CMVP and the Common Criteria Portal - dataset of September 10, 2026 - synced October 15, 2026
Check certifications from your AI assistant
The Security Certifications Explorer answers FIPS 140-3 and Common Criteria questions directly inside Claude, ChatGPT, or any MCP assistant, and links each certificate to the CVEs that may affect it.
Add the certifications brain