Home > Authorities > Grants > Record #557697
 

DFG project G:(GEPRIS)157355546

Verifikation polymorpher Nichtinterferenz für mobile Software - PolyNi

CoordinatorProfessor Dr. Martin Hofmann
Grant period2010 - 2015
Funding bodyDeutsche Forschungsgemeinschaft
 DFG
IdentifierG:(GEPRIS)157355546

Note: Das Projekt beschäftigt sich mit der Konstruktion sicherer mobiler Software. Ziel ist die Entwicklung von Technologie zur Verifikation von Informationsflusssicherheit von JAVA-und Bytecode-Programmen. Ausgehend von bestehenden Formalismen sollen Spezifikationsnotationen, Typsysteme und Programmlogiken entwickelt werden, welche es einem Codeproduzenten erlauben, statisch die Informationsflusssicherheit von mobiler Software zu zertifizieren. Motiviert durch mobile Anwendungsszenarien sollen dabei insbesondere Sicherheitspolitiken untersucht werden, welche teilweise von der Ausführungsumgebung abhängen, bzw. sich durch konsumentenseitige Spezialisierung parametrischer Politiken ergeben. Teile der Verifikationsinfrastruktur werden als Erweiterungen von Übersetzern exemplarisch implementiert oder in einem Theorembeweiser formal verifiziert, um später als Komponenten in proof-carrying-code- Systeme integriert werden zu können.
   

Recent Publications

There are no publications

 Record created 2023-02-03, last modified 2024-09-27
Similar records



Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)
PUBDB :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.7 | join2_v2511
Maintained by l.pubdb@desy.de

Impressum | Data Privacy Policy