Back to Results
First PageMeta Content
Ubiquitous computing / Abstract state machines / Java Card / Espionage / Cryptographic protocol / Augsburg / Cryptography / Subscriber identity module / Security / Smart cards / Computing / ISO standards


SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif
Add to Reading List

Document Date: 2015-02-06 05:20:03

Open Document

File Size: 2,27 MB

Share Result on Facebook

Company

Needham / Verified Software / /

Country

Germany / /

Event

FDA Phase / /

Facility

University of Augsburg / /

IndustryTerm

line authentication protocol / /

Organization

PSM Formal Proof of Security and Correctness M2T Text Java / University of Augsburg / /

Person

Holger Grandy / Goal / Roger Needham / Kurt Stenzel / Dominik Haneberg / Nina Moebius / Gerhard Schellhorn / /

Position

Model / /

Product

NS78 / /

ProgrammingLanguage

Java / /

Technology

2 Cryptographic Protocols / Smart Card / Security protocols / three line authentication protocol / Java / /

URL

http /

SocialTag