Carbon Specification
For the Security Library