| 词条 | Cryptol |
| 释义 |
The language was originally developed for use by the United States National Security Agency.[1][3] The language is also used by private firms that provide information technology systems, such as the American company Rockwell Collins provides to aerospace and defense contractors in the United States.[1] The programming language is used for all aspects of developing and using cryptography, such as the design and implementation of new ciphers and the verification of existing cryptographic algorithms.[1][2][4] Cryptol is designed to allow the cryptographer to watch how stream processing functions in the program manipulate the ciphers or encryption algorithms.[2] External links
References1. ^1 2 3 {{citation | last = Galois | title = Cryptol-the-language-of-cryptology-now-available | url = http://galois.com/blog/2008/12/cryptol-the-language-of-cryptography-now-available/ | accessdate = 2015-05-05}} {{Programming language}}2. ^1 2 [https://books.google.com/books?id=KtEpJSzyXSsC&pg=PA531&dq=Cryptol+Logic+for+Programming,+Artificial+Intelligence,+and+Reasoning&client=firefox-a#PPA531,M1 GoogleBook link]{{citation | editor1-last = Sutcliffe | editor1-first = Geoff | editor2-last = Voronkov | editor2-first = Andrei |title = Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings ... / Lecture Notes in Artificial Intelligence) | publisher = Springer | pages = 744 | year = 2006 | isbn = 978-3-540-30553-8}} 3. ^{{citation | title = The Next Wave, High Confidence Software and Systems (HCSS) | volume = 19 | number = 1 | year = 2011 | url = http://www.nsa.gov/research/tnw/tnw191/articles/pdfs/tnw_19_1_web.pdf}} 4. ^{{citation | last1 = Lewis | first1 = JR| last2 = Martin| first2 = B | contribution = Cryptol: high assurance, retargetable crypto development and validation | title = Military Communications Conference, 2003. MILCOM 2003. IEEE| volume = 2| issue = 13-16 | pages = 820–825 | publisher = Armed Forces Communications and Electronics Association (AFCEA) and the IEEE Communications Society | date = October 2003 | location = Boston, Massachusetts | url = http://ieeexplore.ieee.org/Xplore/login.jsp?url=/iel5/9057/28743/01290218.pdf?arnumber=1290218 | accessdate =2009-01-09 }} 2 : Domain-specific programming languages|Cryptographic software |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。