Model-Based MCDC Testing of Complex Decisions for the Java Card Applet Firewall

Roderick Paul Bloem, Karin Greimel, Robert Könighofer, Franz Röck

Research output: Contribution to conference(Old data) Lecture or Presentation

Original languageEnglish
Publication statusPublished - 28 Oct 2013
EventVALID 2013 - Venice, Italy
Duration: 28 Oct 2013 → …

Conference

ConferenceVALID 2013
CountryItaly
CityVenice
Period28/10/13 → …

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Projects

NewP@ass - New verification & valdidation methods enabling widespread use of Privacy and @nonymity in electronically secured systems

Röck, F., Unterluggauer, T., Könighofer, R., Mangard, S., Wenger, E., Spreitzer, R. C., Mendel, F., Schmidt, J. & Bloem, R.

1/05/1231/05/15

Project: Research project

Cite this

Bloem, R. P., Greimel, K., Könighofer, R., & Röck, F. (2013). Model-Based MCDC Testing of Complex Decisions for the Java Card Applet Firewall. VALID 2013, Venice, Italy.