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
Part 3. Solution security policy
Part 3. Solution security policy
Preceding parts of the Guide show how to implement interaction between entities. For simplicity, all solutions were built without a security module (ksm.module), which is provided by Kaspersky Security System.
Kaspersky Security System is the subsystem that monitors queries sent between entities and other events. This means that you can divide a solution into entities, manage their interactions, and thereby enhance the security of the solution.
This part of the Guide illustrates the following:
- PSL language syntax
- Security models supported in Kaspersky Security System
- Example of a solution security policy
|
In this Help section General information about a solution security policy description Testing a solution security policy based on the Policy Assertion Language (PAL) |
Article ID: ch3_security, Last review: Feb 16, 2022