CAPSL Intermediate Language
G. Denker and J. Millen
Abstract
CAPSL support for multiple analysis tools is accomplished
through the CAPSL Intermediate Language (CIL). CIL is a
way of presenting a state-transition description of a
protocol using multiset rewrite rules. It is based on a
linear-logic meta-notation proposed by researchers at
Stanford. A prototype translator from CAPSL to CIL,
with both Java and Maude stages, is nearing completion.
The translator design brought out issues such as the
means to check consistency of protocol specifications,
general specification of invertible functions, and the
need for session identifiers to express security goals.