Back to Results
First PageMeta Content
Information / Data / Ubiquitous computing / Java Card / Unified Modeling Language / Communications protocol / Card reader / Formal methods / Cryptographic protocol / Smart cards / Computing / ISO standards


Design for Trust: Security in M-Commerce Dominik Haneberg, Alexander Kreibich, Wolfgang Reif, Kurt Stenzel Lehrstuhl f¨ur Softwaretechnik und Programmiersprachen Fakult¨at f¨ur Informatik Universit¨at Augsburg D-8613
Add to Reading List

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


Open Document

File Size: 163,91 KB

Share Result on Facebook

City

Berlin / Leipzig / /

Company

Needham / /

Country

Germany / /

/

IndustryTerm

a lot of new services / e- or / communication protocols / cryptographic protocols / portable devices / smartcard applications / good cryptographic protocols / m-commerce applications / secure smartcard applications / done using cryptographic protocols / /

Organization

Institut f¨ur Informatik / /

Person

Lawrence C. Paulson / Algebraic Methodology / Kurt Stenzel / Wolfgang Reif / Fundamental Approaches / Kurt Stenzel Lehrstuhl / P. Karger / V / Alexander Kreibich / /

Position

editor / formal security model for multiapplicative smart cards / actor / /

ProgrammingLanguage

Java / /

Technology

mobile phones / The protocols / communication protocols / Java / designed protocols / Unfortunately good cryptographic protocols / /

URL

http /

SocialTag