// Simple predicates
'tacocat'.startsWith('taco')

// Parameterized predicates over structured data
account.balance >= transaction.withdrawal

// JSON objects
{'sub': '12345678',
 'aud': 'example2.cel.dev',
 'iss': 'https://example1.cel.dev/jwt-issuer'}

// Strongly typed objects
common.GeoPoint{ latitude: 10.0, longitude: -5.5 }

Common Expression Language (CEL), performans açısından kritik uygulamalarda hızlı, taşınabilir ve güvenli bir ifade dilidir. CEL, uygulamaya özel uzantılar içeren bir uygulamanın içine yerleştirilmek üzere tasarlanmıştır ve uygulamalarınızın halihazırda kullanıyor olabileceği bildirim temelli yapılandırmaları genişletmek için idealdir.

API çağrıları için liste filtreleri, protokol arabellekleri üzerindeki doğrulama kısıtlamaları ve API istekleri için yetkilendirme kuralları gibi işlemler için CEL'i kullanın.

Daha fazla bilgi Başlama
Nano saniyeden mikrosaniyeye kadar olan performans açısından kritik yollarda ifade değerlendirmesi hızlandırıldı.
Birden çok Google ve harici sistemde ortak söz dizimine sahip, geliştirici dostu, hafiftir.
Tur kapsamında değil ve yalnızca ana makine uygulaması tarafından sağlanan verilere erişiyor.
Z3 gibi otomatik SMT çözücüleri kullanarak tüm girişlerde doğruluğu, güvenlik değişmezlerini ve eşdeğerliği kanıtlayın.

CEL, öngörülebilir maliyetlerle güvenli ve hızlı bir şekilde (nanosaniye ila mikrosaniye) değerlendirme yapmak üzere tasarlandığından performans açısından kritik uygulamalar için idealdir. CEL ifadeleri, koşullandırma mantığı ve basit veri dönüşümleri için özellikle yararlıdır.

CEL en etkili şekilde, ifadelerin sık sık değerlendirildiği, ancak seyrek olarak değiştirildiği uygulamalarda kullanılır. Örneğin, bir HTTP isteğinin güvenlik politikasına göre değerlendirilmesi CEL için mükemmel bir kullanım alanıdır. Bir CEL güvenlik politikası ifadesi, ifadenin doğrulanması için tek seferlik bir yapılandırma maliyetine sahip olur ve ardından göz ardı edilebilir bir maliyetle çok sık olarak değerlendirilir.

Hâlâ emin değil misiniz? CEL'e genel bakışı ve dil tanımını inceleyin veya sadece bize sorun. Yardımcı olmaktan memnuniyet duyarız.

CEL'e genel bakış Dil tanımı Ekibimize sorun

Yapay zeka aracıları politikalar oluşturup yeniden düzenleyip dağıtırken, sezgisel birim testleri sonsuz girişlerdeki uç durumları kapsayamayabilir. Z3 teoremi ispatlayıcısı tarafından desteklenen CEL Formal Verification Framework, geliştiricilerin politika doğruluğunu matematiksel olarak kanıtlamasına, AST eşdeğerliğini kontrol etmesine ve giriş alanının tamamında güvenlik değişmezlerini garanti etmesine olanak tanır.

İnce mantık hatalarını yakalayın, kapsamlı koruma önlemleri uygulayın ve matematiksel kesinlikle otomatik politika oluşturmayı güvenli hale getirin.

Duyuruyu okuyun CEL Java Doğrulayıcı
CEL projesine yardımcı olmak ister misiniz? Açık kaynak kodumuza ve belgelerimize katkıda bulunun. Yardımınızdan memnuniyet duyarız.
Katkıda bulun