Verifpal is a symbolic formal verification tool for cryptographic protocols. You
describe a protocol in the Verifpal language, state security queries about it, and
Verifpal searches for an attack that breaks them, printing the trace of any attack
it finds.
د خپرونکي تشریح (انګليسي)
Verifpal څه شی دی؟
Verifpal د Symbolic Software له خوا د کوډ کول (Encryption) په کټګورۍ کې راځي او خلاصه سرچینه سافټویر دی. په دې لېست کې د کوډ کول (Encryption) په منځ کې د شهرت له مخې ۴۷م ځای لري. په Rust ژبه لیکل شوی.
نصب او اړتیاوې
خپرونکی د پورټېبل نصبوونکي د 64-bit Windows لپاره وړاندې کوي. بې له نصب چلېږي (پورټېبل).
تازه کېدنې او د نسخو تاریخچه
اوسنۍ نسخه 1.6.6 ده چې په AP ۱۴۰۵ تله ۱۹ خپره شوه. د نسخو تاریخچه ۲۲ خپرونې لري چې تر ټولو زړه یې AP ۱۴۰۵ وږی ۷ ته رسېږي؛ ټولې رسمي فایلونو ته لینک لري. وروستۍ تازه کېدنه له یوې میاشتې کمه زړه ده.
شهرت او د فایل ډولونه
په GitHub کې سرچینه کوډ (symbolicsoft/verifpal) ۱۳۵ ستوري لري. ورته پروګرامونه Cryptomator، GNU Privacy Guard او Keybase دي.
په GitHub کې د پروژې تشریح: “Cryptographic protocol analysis for real-world protocols.”
ګټې / نیمګړتیاوې
ګټې
- خلاصه سرچینه: هر څوک یې کوډ کتلی او جوړولی شي
- پورټېبل: بې له نصب چلېږي
- په تېرو دوو میاشتو کې تازه شوی
نیمګړتیاوې
- اصلي ARM64 نسخه نه لري
لنډه دا چې: Verifpal د 64-bit کمپیوټرونو لپاره یوه خلاصه سرچینه د کوډ کول (Encryption) وسیله ده.
ایا د Verifpal ډاونلوډ خوندي دی؟
- فایل له github.com څخه راځي، چې د خپرونکي خپل ډومېن دی
- د ډاونلوډ لینک HTTPS کاروي
- SHA256 هش خپور شوی، نو فایل تایید کولی شئ:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· د دې هش د VirusTotal راپور پرانیزئ - لینک لا نه دی کتل شوی
- سرچینه کوډ عامه دی
- ExeAtlas نصبوونکي نه ساتي، نه یې پوښي او نه یې بدلوي
اړوند لارښود: په Windows کې د فایل SHA256 هش څنګه وګورو
وروستۍ نسخې
ټولې ۲۲ نسخې ›| نسخه | نېټه | اندازه | فایلونه |
|---|---|---|---|
| 1.6.6وروستۍ | AP ۱۴۰۵ تله ۱۹ | — | 64-bit ZIP |
| 1.6.4 | AP ۱۴۰۵ تله ۱۵ | — | 64-bit ZIP |
| 1.6.3 | AP ۱۴۰۵ تله ۶ | — | 64-bit ZIP |
| 1.6.0 | AP ۱۴۰۵ تله ۱ | — | 64-bit ZIP |
| 1.5.1 | AP ۱۴۰۵ وږی ۳۰ | — | 64-bit ZIP |
| 1.5.0 | AP ۱۴۰۵ وږی ۲۹ | — | 64-bit ZIP |
| 1.4.12 | AP ۱۴۰۵ وږی ۲۶ | — | 64-bit ZIP |
| 1.4.11 | AP ۱۴۰۵ وږی ۲۵ | — | 64-bit ZIP |
له کمانډ لاین نه نصب
چوپه نصب ›winget install --id SymbolicSoftware.Verifpal -eاړوند لارښود: winget څنګه وکاروو: پروګرامونه نصب او تازه کړئ
معلومات
- خپرونکی
- Symbolic Software
- کټګوري
- کوډ کول (Encryption)
- جواز
- GPL-3.0-only
- بیه
- وړیا
- سرچینه کوډ
- github.com/symbolicsoft/verifpal
- د پروګرام ژبه
- Rust
- اړتیا
- Windows 11 / 10
- جوړښت (Architecture)
- 64-bit
- د نصبوونکي ډول
- پورټېبل
- نسخه
- 1.6.6
- د خپرېدو نېټه
- AP ۱۴۰۵ تله ۱۹
- لېست ته د ورزیاتېدو نېټه
- AP ۱۴۰۵ تله ۴
- لېست شوې نسخې
- 22
- د GitHub ستوري
- ۱۳۵
- د GitHub فورکونه
- ۱۶
- وېب پاڼه
- verifpal.com
- winget ID
- SymbolicSoftware.Verifpal
درجې او نظرونه
لا تر اوسه هېڅ نظر نشته. لومړۍ درجه تاسو ورکړئ.
د Verifpal بدیلونه
ټول وګورئ ›-
خلاصه سرچینه (open source)۱۶۶٫۲K ↓ -
خلاصه سرچینه (open source)۱۸۶٫۱K ↓ -
خلاصه سرچینه (open source)۳۶٫۶K ↓ -
خلاصه سرچینه (open source)۷۸٫۸K ↓ -
خلاصه سرچینه (open source)۳۱٫۸K ↓ -
خلاصه سرچینه (open source)۱۹٫۲K ↓ -
خلاصه سرچینه (open source)۱۵٫۶K ↓ -
خلاصه سرچینه (open source)۹٫۴K ↓
ډېرې پوښتل شوې پوښتنې
ایا Verifpal وړیا دی؟
هو. Verifpal خلاصه سرچینه سافټویر دی د GPL-3.0-only جواز لاندې.
ایا د Verifpal ډاونلوډ خوندي دی؟
ډاونلوډ له github.com څخه راځي، چې د خپرونکي خپل دی؛ ExeAtlas فایل نه ساتي او نه یې بدلوي. د فایل SHA256 هش له هغه سره پرتله کړئ چې دلته ښودل شوی، یا د همدې هش د VirusTotal راپور پرانیزئ.
Verifpal د winget په مرسته څنګه نصب کړم؟
PowerShell یا Windows Terminal پرانیزئ او هغه winget کمانډ وچلوئ چې په دې پاڼه کې ښودل شوی. winget رسمي نصبوونکی ډاونلوډوي او له چلولو مخکې یې SHA256 هش ګوري.
ایا Verifpal په ARM (Windows on Arm) چلېږي؟
ARM64 نسخه نشته؛ Windows 11 on Arm کولی شي د 64-bit نسخه د ایمولېشن له لارې وچلوي.
د Verifpal زړه نسخه له کومه ډاونلوډ کړم؟
د نسخو پاڼه ټولې ۲۲ نسخې د رسمي نصب فایلونو له لینکونو سره ښیي، تر AP ۱۴۰۵ وږی ۷ پورې.
ایا Verifpal بې له اډمین اجازې کارولی شم؟
هو، پورټېبل دی: خلاص یې کړئ او ویې چلوئ.
د Verifpal بدیلونه کوم دي؟
Cryptomator، GNU Privacy Guard، Keybase، i2pd او KopiaUI. د بدیلونو پاڼه یې سره پرتله کوي.
