|
Published Articles >> Table of Contents >> Abstract
Seventh International Symposium on Computers and Communications (ISCC'02)
p. 355
Automatic Implementation System of Security Protocols Based on Formal Description Techniques
L. Mengual, U.P.M., Madrid
N. Barcia, U.P.M., Madrid
E. Jimenez, U.P.M., Madrid
E. Menasalvas, U.P.M., Madrid
J. Setien, U.P.M., Madrid
J. Yaguez, U.P.M., Madrid
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISCC.2002.1021701
Send link to a friend
| Abstract |
|
In this paper we present an automatic implementation system of security protocols based in Formal Description Techniques. A sufficiently complete and concise formal specification that has allowed us to define the state machine that corresponds to a security protocol has been designed to achieve our goals. This formal specification makes it possible to incorporate in a flexible way the security mechanisms and functions (random numbers generation, timestamps, symmetric-key encryption, public_key cryptography, etc). Our solution implies the incorporation of an additional security layer L.E.I. (Logical Element of Implementation) in the TCP/IP architecture. This additional layer be able both to interpret and to implement any security protocol from its formal specification. Our system provides an Applications Programming Interfaz (API) for the development of distributed applications in Internet like the e-commerce, bank transfers, network management or distribution information services that makes transparent to them the problem of security in the comunications.
|
 Additional Information
|
Citation:
L. Mengual, N. Barcia, E. Jimenez, E. Menasalvas, J. Setien, J. Yaguez,
"Automatic Implementation System of Security Protocols Based on Formal Description Techniques,"
iscc,
p. 355,
Seventh International Symposium on Computers and Communications (ISCC'02),
2002
|
|
