Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

A Hybrid Approach for Proving Noninterference and Applications to the Cryptographic Verification of Java Programs

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Jürgen Graf und Christoph Scheben
In:Grande Region Security and Reliability Day (GRSRD 2013)
Jahr:2013
URL:http://grsrd.uni.lu/2013/papers/grsrd2013_submission_2.pdf

Anmerkung

Extended Abstract

BibTeX

@InProceedings{KuestersTruderungBeckertEA2013,
  author	= {Ralf K{\"u}sters and Tomasz Truderung and Bernhard Beckert
		   and Daniel Bruns and J{\"u}rgen Graf and Christoph Scheben},
  title		= {A Hybrid Approach for Proving Noninterference and
		   Applications to the Cryptographic Verification of {Java}
		   Programs},
  booktitle	= {Grande Region Security and Reliability Day (GRSRD 2013)},
  url		= {http://grsrd.uni.lu/2013/papers/grsrd2013_submission_2.pdf},
  year		= 2013,
  month		= apr,
  editor	= {Christian Hammer and Sjouke Mauw},
  address	= {Luxembourg},
  language	= {english},
  note		= {Extended Abstract}
}