Для начала работы с CEL выберите один из следующих обучающих материалов:
- CEL-Java кодлаборатория
- практическое занятие по CEL-C++
- CEL-Go кодовая лаборатория
- Лаборатория кода CEL для Python (cel-expr-python)
Формальная проверка
Чтобы узнать, как математически доказать корректность выражений и политик CEL:
- Обеспечение безопасности в эпоху агентного управления: внедрение формальной верификации для CEL (статья в блоге Google Open Source)
- Руководство по использованию CEL Java Verifier в интерфейсе командной строки и REPL.
Для начала работы с CEL выберите один из следующих обучающих материалов:
- CEL-Java кодлаборатория
- практическое занятие по CEL-C++
- CEL-Go кодовая лаборатория
- Лаборатория кода CEL для Python (cel-expr-python)
Формальная проверка
Чтобы узнать, как математически доказать корректность выражений и политик CEL:
- Обеспечение безопасности в эпоху агентного управления: внедрение формальной верификации для CEL (статья в блоге Google Open Source)
- Руководство по использованию CEL Java Verifier в интерфейсе командной строки и REPL.
Для начала работы с CEL выберите один из следующих обучающих материалов:
- CEL-Java кодлаборатория
- практическое занятие по CEL-C++
- CEL-Go кодовая лаборатория
- Лаборатория кода CEL для Python (cel-expr-python)
Формальная проверка
Чтобы узнать, как математически доказать корректность выражений и политик CEL:
- Обеспечение безопасности в эпоху агентного управления: внедрение формальной верификации для CEL (статья в блоге Google Open Source)
- Руководство по использованию CEL Java Verifier в интерфейсе командной строки и REPL.
Для начала работы с CEL выберите один из следующих обучающих материалов:
- CEL-Java кодлаборатория
- практическое занятие по CEL-C++
- CEL-Go кодовая лаборатория
- Лаборатория кода CEL для Python (cel-expr-python)
Формальная проверка
Чтобы узнать, как математически доказать корректность выражений и политик CEL: