Die Entwicklung von Software ist teuer. Dies verführt manche Programmierer dazu, fremde Software illegal in die eigenen Programme einzubauen. Der Lehrstuhl für Softwaretechnik der Universität des Saarlandes hat eine neue Methode entwickelt, diese Art von Softwarediebstahl nachzuweisen. Sie erfasst in einem Testlauf das charakteristische Verhalten einer Software und kann dieses dann in anderen Computerprogrammen erkennen.
Moderne Software setzt sich aus vielen Bausteinen zusammen, was sie anfällig für Diebstahl durch Softwareentwickler macht. Die an Anwender ausgelieferten Programme, oder nur Teile davon, können leicht von einem Programmierer in die eigene Software eingefügt werden. Trotzdem ist eine solche Urheberrechtsverletzung vor Gericht äussert schwierig nachzuweisen. Die neue Methode, die der Informatiker David Schuler an der Universität des Saarlandes entwickelt hat, räumt Herstellern von Software bessere Chancen vor Gericht ein. Vermutet ein Hersteller einen Diebstahl, lässt er seine und die fremde Software mit Schulers Werkzeug API BIRTHMARK ausführen. Als Ergebnis kann er sehen, ob die beiden Programme übereinstimmen. Ist die Übereinstimmung hoch, lässt das einen Diebstahl vermuten und rechtfertigt weitere Untersuchungen.
Das Besondere von API BIRTHMARK ist, dass es das Verhalten, aber nicht die Form einer Software bewertet. Diese lässt sich nämlich leicht verschleiern, um einen Diebstahl zu vertuschen. Werkzeuge zur Verschleierung, sogenannte Obfuskatoren, sind frei im Internet erhältlich. Wie ein Geburtsmerkmal (engl.: birthmark) ist das Verhalten eines Programmes dagegen nur schwer zu verändern, ohne es zu zerstören. David Schuler und seine Ko-Autoren Valentin Dallmeier und Christian Lindig haben gezeigt, dass die Geburtsmerkmale für Java-Programme zuverlässig erkannt werden können und immun gegen die besten Verschleierungsmethoden sind. Dies hat auch das Programmkommitee der internationalen Konferenz Automated Software Engineering 2007 in Atlanta (USA) überzeugt, wo David Schuler API BIRTHMARK erstmals im November vorstellen wird. Sein Beitrag A Dynamic Birthmark for Java wurde aus 312 Einreichungen zusammen mit nur 36 weiteren Beiträgen für die Veröffentlichung auf der Konferenz akzeptiert.
David Schuler, Valentin Dallmeier und Dr. Christian Lindig sind wissenschaftliche Mitarbeiter am Lehrstuhl für Softwaretechnik von Prof. Dr. Andreas Zeller an der Universität des Saarlandes. Das Forscher-Team entwickelt statistische Verfahren zur Programmanalyse und Fehlersuche, wofür API BIRTHMARK ein Beispiel ist. Außerdem analysieren die Wissenschaftler die Entwicklungsgeschichte von Software, um Fehler vorherzusagen und von vornherein zu vermeiden. Prof. Zeller hat hierbei als erster systematisch die Fehlerdatenbank von Microsoft untersucht, um fehlerträchtige Programmteile vorherzusagen - die dann von Microsoft besonders gründlich getestet werden.
Informationen über API BIRTHMARK: http://www.st.cs.uni-sb.de/birthmarking/
Informationen zur Konferenz "Automated Software Engineering 2007" in Atlanta (USA): http://www.cse.msu.edu/ase2007/
Lehrstuhl für Softwaretechnik: http://www.st.cs.uni-sb.de/
Vorabversion von A Dynamic Birthmark for Java: http://www.st.cs.uni-sb.de/~lindig/papers/schuler-ase-2007.pdf
Fragen beantwortet Ihnen:
Prof. Dr. Andreas Zeller
Tel. 0681/302-64011
Friederike Meyer zu Tittingdorf
Tel. 0681/302-58099
Criteria of this press release:
Information technology
transregional, national
Research results
German
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).
If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).