द्वारा कार्यक्रम obol.sf.net

ओबोल सुरक्षा प्रोटोकॉल के लिए एक प्रोग्रामिंग भाषा है। विचार सुरक्षा प्रोटोकॉल का वर्णन और विश्लेषण करने के लिए उपयोग किए जाने वाले सारों के करीब कार्यक्रम करना है, जिससे संदेश प्रतिनिधित्व, संचार, क्रिप्टो जैसे निम्न स्तर के