CryptoVerif
ಕ್ರಿಪ್ಟೋವೇರಿಫ್ ಎಂಬುದು ಬ್ರೂನೋ ಬ್ಲ್ಯಾಂಚೆಟ್ ಬರೆದ ಭದ್ರತಾ ಶಿಷ್ಟಾಚಾರಗಳ ಬಗ್ಗೆ ಸ್ವಯಂಚಾಲಿತ ತರ್ಕಕ್ಕಾಗಿ ಒಂದು ತಂತ್ರಾಂಶ ಸಾಧನವಾಗಿದೆ. ಇದು ನಿರ್ದಿಷ್ಟ ಸಮ್ಮಿತೀಯ ಗೂಢಲಿಪೀಕರಣ, ಸಂದೇಶ ದೃಢೀಕರಣ ಸಂಕೇತಗಳು, ಸಾರ್ವಜನಿಕ-ಕೀ ಗೂಢಲಿಪೀಕರಣ, ಸಹಿಗಳು, ಹ್ಯಾಶ್ ಕಾರ್ಯಗಳನ್ನು ನಿಭಾಯಿಸಬಲ್ಲ ಗೂಢಲಿಪೀಕರಣದ ಪೂರ್ವಭಾವಿಗಳ ಮೇಲಿನ ಭದ್ರತಾ ಊಹೆಗಳನ್ನು ನಿರ್ದಿಷ್ಟಪಡಿಸುವ ಕಾರ್ಯವಿಧಾನವನ್ನು ಒದಗಿಸುತ್ತದೆ. ಕಾಂಕ್ರೀಟ್ ಸೆಕ್ಯುರಿಟಿ ಕ್ರಿಪ್ಟೊವೆರಿಫ್ ಪ್ರತಿ ಕ್ರಿಪ್ಟೋಗ್ರಾಫಿಕ್ ಪ್ರಾಚೀನವನ್ನು ಮುರಿಯುವ ಸಂಭವನೀಯತೆಗೆ ಸಂಬಂಧಿಸಿದಂತೆ ಪ್ರೋಟೋಕಾಲ್ ವಿರುದ್ಧ ಯಶಸ್ವಿ ದಾಳಿಯ ಸಂಭವನೀಯತೆಯನ್ನು ಮೌಲ್ಯಮಾಪನ ಮಾಡಲು ಹೇಳುತ್ತದೆ, ಅಂದರೆ. ಇದು ದೃಢವಾದ ಭದ್ರತೆಯನ್ನು ಸ್ಥಾಪಿಸಬಹುದು. ಉಲ್ಲೇಖಗಳು ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ಕ್ರಿಪ್ಟೋಗ್ರಾಫಿಕ್ ಸಾಫ್ಟ್ವೇರ್