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 > Security models > HashSet security model
HashSet security model
HashSet security model
The HashSet security model lets you associate resources with one-dimensional tables of unique values of the same type, add or delete these values, and check whether a defined value is in the table. For example, an entity whose context includes a running network server can be associated with the set of ports that this server is allowed to open. This association can be used to check whether the server is allowed to initiate the opening of a port.
A PSL file containing a description of the HashSet security model is located in the KasperskyOS SDK at the following path:
toolchain/include/nk/hashmap.psl
|
In this section HashSet security model init rule HashSet security model fini rule HashSet security model add rule |
Article ID: ssp_descr_security_models_hashset, Last review: Feb 16, 2022