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 > Interaction control > Policy Specification Language (PSL)
Policy Specification Language (PSL)
Policy Specification Language (PSL)
The most important part of Kaspersky Security System technology is the PSL language (Policy Specification Language). It lets you describe a solution security policy formally, close to the terms of the task itself. The resulting PSL description is used to generate the code of a Kaspersky Security Module for the specific solution. This is done by using the NK compiler provided in KasperskyOS Community Edition. Thus, a solution's PSL description is the connecting link between the informal description of a policy and its implementation.
The PSL language lets you use various data structures and combine several security models.
Article ID: overview_psl, Last review: Feb 16, 2022