Embedded Security Devices

Code	14508
Year	1
Semester	S1
ECTS Credits	6
Workload	OT(15H)
Scientific area	Informatics
Entry requirements	Java Programming Skills
Learning outcomes	This course unit aims to introduce software development concepts and study the security mechanisms for embedded security devices such as Smart Cards in diverse environments such as telecommunications and application areas such as Commerce and Electronic Identification and reliable processing modules. It also aims to study security vulnerabilities in this type of device and gain experience in the analysis and implementation of protocols used in applications in different areas such as telecommunications and Electronic Payment Systems and Electronic Identification (E-ID) and Passports.
Syllabus	Introduction to Security Devices, Mobile Telecommunications SIM and USIM, Smart Cards, Telecommunications Cards, Trusted Platform Module, Security Tokens. Production Environment and Operating Systems for Smart Cards Security Standards: FIPS and Common Criteria. Data and Command Transmission for Smart Cards Applications of Embedded Security Devices, Electronic Payment Systems and Electronic Identification (E-ID) and Passports. Security for Smart Cards Introduction to Trusted Processing Platforms (TPM). Development of Applets for Java Cards Development of Middlewares and Applications for Java Cards
Main Bibliography	Smart Card Applications: Design models for using and programming smart cards Wolfgang Rankl, Kenneth Cox ISBN: 978-0-470-05882-4, 2007 Java on Smart Cards:Programming and Security, Isabelle Attali, Thomas Jensen ISBN: 978-3-540-42167-2 Java Card Technology for Smart Cards, Zhiqun Chen, Addison-Wesley Professional, 2000, ISBN: 0-201-70329-7 Smart Cards, Tokens, Security and Applications, Keith Mayes, Markantonakis, Konstantinos, Springer; 2008 eISBN-10: 0387721975
Language	Portuguese. Tutorial support is available in English.