Title :
A framework for the development of protocols
Author :
Crazzolara, Federico ; Milicia, Giuseppe
Author_Institution :
NEC Eur., St. Augustin, Germany
Abstract :
We present the χ-Spaces framework, a tool designed to support every step of a security protocol´s life cycle. Its integrated development environment (IDE) eases the task of protocol design, debugging and simulation.
Keywords :
Java; cryptography; digital simulation; message authentication; program debugging; programming environments; protocols; χ-Spaces framework; IDE; integrated development environment; security protocol development; security protocol life cycle; Computer languages; Cryptographic protocols; Cryptography; Debugging; Europe; Information security; Java; National electric code; Pattern matching; Space technology;
Conference_Titel :
Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on
Print_ISBN :
0-7695-1887-7
DOI :
10.1109/CSD.2003.1207722
