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

पीडीए सुरक्षा प्रोटोकॉल के व्युत्पन्न दृष्टिकोण के लिए उपकरण सहायता प्रदान करता है। प्रोटोकॉल, मॉडल, सुरक्षा गुण एक ग्राफिकल यूजर इंटरफेस के माध्यम से दर्ज किए जाते हैं। पीडीए प्रोटोकॉल और उनके मॉडल और वृद्धिशील शुद्धता प्रमा