KasperskyOS Community Edition 1.0
- What's new
- About KasperskyOS Community Edition
- KasperskyOS: overview
- Getting started
- Part 1. Simple application (POSIX)
- Part 2. Interaction between entities
- Part 3. Solution security policy
- General information about a solution security policy description
- PSL language syntax
- Security models
- Pred security model
- Bool security model
- Math security model
- Struct security model
- Base security model
- Regex security model
- HashSet security model
- StaticMap security model
- StaticMap security model object
- StaticMap security model init rule
- StaticMap security model fini rule
- StaticMap security model set rule
- StaticMap security model commit rule
- StaticMap security model rollback rule
- StaticMap security model get expression
- StaticMap security model get_uncommited expression
- Flow security model
- ping example
- Testing a solution security policy based on the Policy Assertion Language (PAL)
- KasperskyOS API
- Security patterns for development under KasperskyOS
- Appendices
- Additional examples
- net_with_separate_vfs example
- net2_with_separate_vfs example
- embedded_vfs example
- embed_ext2_with_separate_vfs example
- multi_vfs_ntpd example
- multi_vfs_dns_client example
- multi_vfs_dhcpcd example
- mqtt_publisher example
- mqtt_subscriber example
- gpio_input example
- gpio_output example
- gpio_interrupt example
- gpio_echo example
- Additional examples
- Licensing the application
- Data provision
- Information about third-party code
- Trademark notices
KasperskyOS: overview > TCB reliability
TCB reliability
TCB reliability
A cyber immune system must provide guarantees regarding the reliability of the entire trusted computing base (TCB). These guarantees can be provided only if the trusted computing base is sufficiently compact. Below we will consider how this requirement is achieved in KasperskyOS-based solutions.
|
In this section |
Article ID: overview_trusty_tcb, Last review: Feb 16, 2022