क्रिप्टोल

From alpha
Jump to navigation Jump to search

क्रिप्टॉल पोर्टलैंड, ओरेगॉन स्थित सॉफ्टवेयर डेवलपमेंट फर्म, गैलोइस, इंक द्वारा विकसित क्रिप्टोग्राफी के लिए एक डोमेन विशिष्ट भाषा है।[1][2] भाषा मूल रूप से संयुक्त राज्य अमेरिका की राष्ट्रीय सुरक्षा एजेंसी द्वारा उपयोग के लिए विकसित की गई थी।[1][3] भाषा का उपयोग निजी फर्मों द्वारा भी किया जाता है जो सूचना प्रौद्योगिकी प्रणाली प्रदान करती हैं, जैसे कि अमेरिकी कंपनी रॉकवेल कॉलिन्स संयुक्त राज्य अमेरिका में एयरोस्पेस निर्माता और रक्षा ठेकेदारों को प्रदान करती है।[1]

प्रोग्रामिंग भाषा का उपयोग क्रिप्टोग्राफी के विकास और उपयोग के सभी पहलुओं के लिए किया जाता है, जैसे कि नए सिफ़र का डिजाइन और कार्यान्वयन और मौजूदा क्रिप्टोग्राफिक एल्गोरिदम का सत्यापन।[1][2][4] क्रिप्टोग्राफर को क्रिप्टोग्राफर को यह देखने की अनुमति देने के लिए डिज़ाइन किया गया है कि कैसे कार्यक्रम में स्ट्रीम प्रोसेसिंग फ़ंक्शन सिफर या कूटलेखन एल्गोरिदम में हेरफेर करता है।[2]


बाहरी कड़ियाँ


इस पेज में लापता आंतरिक लिंक की सूची

  • राष्ट्रीय सुरक्षा अभिकरण
  • सूचान प्रौद्योगिकी

संदर्भ

  1. 1.0 1.1 1.2 1.3 Galois, Cryptol-the-language-of-cryptology-now-available, retrieved 2015-05-05
  2. 2.0 2.1 2.2 GoogleBook linkSutcliffe, Geoff; Voronkov, Andrei, eds. (2006), 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), Springer, p. 744, ISBN 978-3-540-30553-8
  3. The Next Wave, High Confidence Software and Systems (HCSS) (PDF), vol. 19, 2011, archived from the original (PDF) on 2014-07-14, retrieved 2014-07-07
  4. Lewis, JR; Martin, B (October 2003), "Cryptol: high assurance, retargetable crypto development and validation", Military Communications Conference, 2003. MILCOM 2003. IEEE, vol. 2, Boston, Massachusetts: Armed Forces Communications and Electronics Association (AFCEA) and the IEEE Communications Society, pp. 820–825, doi:10.1109/MILCOM.2003.1290218

श्रेणी: डोमेन-विशिष्ट प्रोग्रामिंग भाषाएं श्रेणी:क्रिप्टोग्राफ़िक सॉफ़्टवेयर