The objectives of CASENET were to develop and implement a tool-supported framework for the systematic specification, design and analysis of e-commerce and e-government transactions to produce protocols with proven security properties, and to assist in code generation for these protocols. If focused on developing methodologies and tools developed that:
- Could help generating a formal protocol specification with a set of desired security properties.
- Were usable for the security analysis of protocols already deployed.
- Could assist in transforming the formal protocol specification into final code.
The work of NICS focused on the formal analysis of security protocols. For that pourpose, NICS members worked together with the coordinators at Fraunhofer SIT.