Hispanopedia WikiCryptol es un lenguaje de programación específico de dominio para criptografía desarrollado por la empresa de desarrollo de software Galois, Inc., con sede en Portland, Oregón. [ 1 ] [ 2 ] Es un software libre y de código abierto publicado bajo una licencia de software BSD de 3 cláusulas .
El lenguaje fue desarrollado originalmente para su uso por la Agencia de Seguridad Nacional de los Estados Unidos . [ 1 ] [ 3 ] El lenguaje también es utilizado por empresas privadas que proporcionan sistemas de tecnología de la información , como la empresa estadounidense Rockwell Collins, que presta servicios a contratistas aeroespaciales y de defensa en los Estados Unidos. [ 1 ]
El lenguaje de programación se utiliza para todos los aspectos del desarrollo y uso de la criptografía, como el diseño e implementación de nuevos cifrados y la verificación de algoritmos criptográficos existentes . [ 1 ] [ 2 ] [ 4 ] Cryptol está diseñado para permitir que un criptógrafo observe cómo las funciones de procesamiento de flujo en el programa manipulan cifrados o algoritmos de cifrado . [ 2 ]
Referencias
- 1 2 3 4 "Cryptol-the-language-of-cryptology-now-available" . Diciembre de 2008. Consultado el 5 de mayo de 2015 .
- 1 2 3 Enlace a Google Books Sutcliffe, Geoff; Voronkov, Andrei, eds. (2006). Lógica para la programación, la inteligencia artificial y el razonamiento: 12.ª Conferencia Internacional, LPAR 2005, 2-6 de diciembre de 2005, Actas... / Lecture Notes in Artificial Intelligence) . Montego Bay, Jamaica: Springer. pág. 744. ISBN 978-3-540-30553-8.
- ↑ The Next Wave, High Confidence Software and Systems (HCSS) (PDF) , vol. 19, 2011, archivado del original (PDF) el 14/07/2014 , consultado el 07/07/2014.
- ↑ Lewis, JR; Martin, B. (octubre de 2003). "Cryptol: desarrollo y validación criptográfica de alta seguridad y reorientable". Conferencia de Comunicaciones Militares, 2003. MILCOM 2003. IEEE . Vol. 2. Boston, Massachusetts : Asociación de Comunicaciones y Electrónica de las Fuerzas Armadas ( AFCEA ); Sociedad de Comunicaciones del IEEE . págs. 820–825 . doi : 10.1109/MILCOM.2003.1290218 . S2CID 8380437 .
Enlaces externos
- Sitio web oficial
- GaloisInc en GitHub
- Lenguajes de programación específicos de dominio
- Software criptográfico
