Program menurut obol.sf.net

  • Obol Gratis

    Obol adalah bahasa pemrograman untuk protokol keamanan. Idenya adalah untuk memprogram lebih dekat dengan abstraksi yang digunakan untuk menggambarkan dan menganalisis protokol keamanan, meninggalkan detail tingkat rendah sep