CryptoVerif
ક્રિપ્ટોવેરિફ એ બ્રુનો બ્લેન્ચેટ દ્વારા લખાયેલા સુરક્ષા પ્રોટોકોલ વિશે સ્વચાલિત તર્ક માટેનું એક સોફ્ટવેર સાધન છે. સપોર્ટેડ ક્રિપ્ટોગ્રાફિક મિકેનિઝમ્સ તે ક્રિપ્ટોગ્રાફિક પ્રિમિટિવ્સ પર સુરક્ષા ધારણાઓને સ્પષ્ટ કરવા માટે એક પદ્ધતિ પ્રદાન કરે છે, જે ખાસ કરીને સપ્રમાણ એન્ક્રિપ્શન, સંદેશ પ્રમાણીકરણ કોડ, પબ્લિક-કી એન્ક્રિપ્શન, સહીઓ, હેશ કાર્યોમાં સંભાળી શકે છે. કોંક્રિટ સુરક્ષા ક્રિપ્ટોવેરિફ દરેક ક્રિપ્ટોગ્રાફિક આદિમને તોડવાની સંભાવનાને સંબંધિત પ્રોટોકોલ સામે સફળ હુમલાની સંભાવનાનું મૂલ્યાંકન કરવાનો દાવો કરે છે, એટલે કે. તે નક્કર સુરક્ષા સ્થાપિત કરી શકે છે. સંદર્ભો બાહ્ય કડીઓ ક્રિપ્ટોગ્રાફિક સોફ્ટવેર