/lmet

Lambda calculus enriched with service request operators (req), security sandboxes (box) and security metrics (met).

Primary LanguageXtendGNU General Public License v3.0GPL-3.0

#LMet

A XText-based environment for the definition and composition of service contracts annotated with security metrics