Back to Results
First PageMeta Content
Smart cards / Computing / Cryptography / Security engineering / Java Card / GlobalPlatform / Subscriber identity module / Credit card / Card reader / Formal methods / KeY / Predicate transformer semantics


Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method Santiago Zanella B´eguelin INRIA Sophia Antipolis, 2004 Route des Lucioles, 06902 Sophia Antipolis, France
Add to Reading List

Document Date: 2013-03-13 12:33:24

Open Document

File Size: 202,60 KB

Share Result on Facebook

City

Paris / /

Company

IBM / GlobalPlatform / Common sense / /

/

IndustryTerm

memory chip / smart card technology / portable devices / security processing / software development cycle / smart card applications / telecommunications / card sharing services / safetycritical systems / purpose card operating systems / open and interoperable infrastructure / e-government / actual processing / software systems / /

NaturalFeature

Secure Channel / /

OperatingSystem

Microsoft Windows / /

Organization

Application Protocol Data Unit / Any APDU APDU Buffer Command / /

Person

Santiago Zanella B´eguelin / Sophia Antipolis / /

Position

Supervisor / head / /

Product

Customer Information Control System / /

ProgrammingLanguage

Java / RC / /

PublishedMedium

the Meteor / /

Technology

Encryption / memory chip / content management / smart card technology / Java / Firewall / API / smart card / mobile phones / dom / operating system / operating systems / Integrated Circuit / /

SocialTag