Back to Results
First PageMeta Content
Software engineering / Abstract state machines / Electronic commerce / Communications protocol / Mondex / Smart card / Program refinement / E / Purse / Computing / Formal methods / Payment systems


¨t Augsburg Universita KAB 0 H
Add to Reading List

Document Date: 2014-12-01 09:19:24

Open Document

File Size: 297,39 KB

Share Result on Facebook

City

Augsburg / /

Company

MCI / /

/

Event

FDA Phase / /

IndustryTerm

interface device / communication protocol / security protocol / real security protocol / Web presentation / security protocols / probable security protocol / suitable security protocol / /

Organization

¨r Informatik Institut / W.Reif Copyright Institut f¨ / Environmental Protection Agency / /

Person

Holger Grandy / Dominik Haneberg / Purse Gerhard Schellhorn / Wolfgang Reif Lehrstuhl / /

Product

Mondex / E6 / /

Technology

real security protocol / communication protocol / The protocol / cryptography / interface device / security protocol / smart card / security protocols / simulation / probable security protocol / suitable security protocol / /

URL

http /

SocialTag