Ich kenne den Artikel zur Theoriefindung, aber erstens ist es keine Theoriefindung, sondern Theorieanwendung. Die Theorie dahinter lernt man, wenn man Informatik studiert, sie ist recht komplex und ich hätte sie nicht kompakt aufschreiben können, daher habe ich mehrfach im Text auf weiterführende Artikel verlinkt, in denen man die zugehörige Theorie findet (oder finden sollte, perfekt sind die z. T. auch nicht, aber das kann ich auf die Schnelle nicht ändern). Zweitens habe ich mir die Mühe gemacht, den Artikel [1] von Rivest/Wack zu lesen, der Softwareunabhängigkeit definiert und diskutiert. Die dort als Beispiele beschriebenen computerbasierenden Verfahren müssen selbstverständlich auch die von mir beschriebenen Kriterien erfüllen. Am Ende diskutieren sie, ob man überhaupt Computer für Wahlen einsetzen kann und falls ja, daß dann die Systeme EAL-Level 6 oder 7 erfüllen sollten (wobei die von mir genannten Kriterien EAL-7 plus absolut logischen, anwendungsspezifischen Zusatzanforderungen wegen Öffentlichkeitsprinzip usw., die im Begriff der Softwareunabhängigkeit noch nicht eingeschlossen sind, entsprechen dürften). Ich sehe diesen Artikel und Begriff als einen verzweifelten, aber fehlgeschlagenen Versuch, etwas am gerade in den technikverliebten USA befürworteten Konzept von Wahlmaschinen zu retten, etwas überspitzt, als Kapitulation und "geordneten Rückzug" der Befürworter. Falls Du Dich mit den Grundlagen von Computertechnologie nicht so gut auskennst, um das beurteilen zu können, ist das keine Schande, aber Du solltest es wenigstens den Fachleuten glauben oder es zu widerlegen versuchen, statt einfach zu löschen, was Du nicht verstehst. Es ist einfach nicht möglich, im Umfang eines Wikipedia-Artikels die komplette Herleitung dieser Kriterien zu vermitteln - das wäre dann wirklich "Theoriefindung", wenn auch in einer anderen Art als der von der Wikipedia abgelehnte.