|
|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
|
polgen
| polgen | SELinux policy generation scripts | | Priority | |
| Section | utils |
| Installed size | 956 |
| Maintainer | Manoj Srivastava <srivasta@debian.org> |
| Architecture | i386 |
| Version | 1.3-2.1 |
| Depends | python (>= 2.3), libc6 (>= 2.3.6-6) |
| Suggests | selinux-utils |
| File name | pool/main/p/polgen-dfsg/polgen_1.3-2.1_i386.deb |
| Description | This package contains a collection of scripts and tools developed by the MITRE corporation to automate the SELinux policy generation process. However, the sources have been modified from the original; documents under a non-free license have been split off into a non-free package. Only the free binaries distributed under the GPL are in this package. . Security-enhanced Linux is a patch of the Linux kernel and a number of utilities with enhanced security functionality designed to add mandatory access controls to Linux. The Security-enhanced Linux kernel contains new architectural components originally developed to improve the security of the Flask operating system. These architectural components provide general support for the enforcement of many kinds of mandatory access control policies, including those based on the concepts of Type Enforcement, Role-based Access Control, and Multi-level Security. |
|
|
|
Etude RTOS