DocumentCode
1573000
Title
A framework for the development of protocols
Author
Crazzolara, Federico ; Milicia, Giuseppe
Author_Institution
NEC Eur., St. Augustin, Germany
fYear
2003
Firstpage
239
Lastpage
240
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on
Print_ISBN
0-7695-1887-7
Type
conf
DOI
10.1109/CSD.2003.1207722
Filename
1207722
Link To Document