Skip to main content
AI/MLplurigrid

smack-policy-auditor

Analyzes SMACK policy files for correctness, label conflicts, and access control issues. Verifies mandatory access control rules.

Stars
23
Source
plurigrid/asi
Updated
2026-04-26
Slug
plurigrid--asi--smack-policy-auditor
View on GitHubRaw SKILL.md

// install — copy + paste into any project

mkdir -p .claude/skills && curl -fsSL https://raw.githubusercontent.com/plurigrid/asi/HEAD/plugins/asi/skills/smack-policy-auditor/SKILL.md -o .claude/skills/smack-policy-auditor.md

Drops the SKILL.md into .claude/skills/smack-policy-auditor.md. Works with Claude Code, Cursor, and any agent that loads SKILL.md files from .claude/skills/.

Smack Policy Auditor Skill

Trit: -1 (MINUS) Category: tizen-security Author: Tizen Community Source: tizen/security License: Apache-2.0

Description

Analyzes SMACK policy files for correctness, label conflicts, and access control issues. Verifies mandatory access control rules.

When to Use

This is a Tizen security/IoT skill. Use when:

  • Developing Tizen applications (web, native, .NET)
  • Auditing Tizen app security
  • Provisioning TizenRT/ARTIK IoT devices
  • Implementing Tizen compliance
  • Analyzing SMACK policies or Cynara access control

Tizen Security Model

SMACK (Simplified Mandatory Access Control Kernel)

  • Linux kernel 3.12+ mandatory access control
  • Process isolation via labels
  • Prevent inter-app resource access

Cynara

  • Fast privilege access control service
  • Policy-based permission checking
  • External agent integration

KeyManager

  • Central secure storage repository
  • Password-protected data access
  • Certificate and key management

Tizen Manifest

  • Privilege declarations (public, partner, platform)
  • App sandboxing configuration
  • Resource access specifications

Related Skills

  • manifest-privilege-validator
  • smack-policy-auditor
  • tizen-cve-scanner
  • sandbox-escape-detector
  • cynara-policy-checker
  • iot-device-provisioning

References