Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Название статьи
- Принципы построения защищенной операционной системы с открытым кодом на микроконтроллере для смарт-карты
- Авторы
- Шорин Д. В. , , ,
- В разделе
- АВТОМАТИЗИРОВАННЫЕ СИСТЕМЫ, ТЕХНИЧЕСКИЕ И ПРОГРАММНЫЕ СРЕДСТВА ЗАЩИТЫ ИНФОРМАЦИИ ОТ НЕСАНКЦИОНИРОВАННОГО ДОСТУПА
- Ключевые слова
- Год
- 2007 номер журнала 1 Страницы 18 - 22
- Индекс УДК
- Код EDN
- Код DOI
- Финансирование
- Тип статьи
- Научная статья
- Аннотация
- Проведен анализ современных операционных систем на открытом коде, степени их защищенности и предложены принципы построения защищенной операционной системы на открытом коде для микроконтроллера смарт-карты.
- Полный текст статьи
- Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Список цитируемой литературы
-
Rankl W., Effing W. Smart Card Handbook, Hoboken USA, John Wiley & Sons, 2004. - 1120 p.
Brewer D., Wang Ch., Tsai P. Proving Protection Profile Compliance for the CCL/ITRI Visa Open Platform Smart Card// CSE, 3rd International Common Criteria Conference (ICCC). - Ottawa, 2002. - 9 p.
Betarte G., Cornes C., Szasz N., Tasistro A. Specification of a Smart Card Operating System: Lecture Notes In Computer Science. V. 1956; Selected paper from the International Workshop on Types for Proofs and Programs, Springer-Verlag, 1999. - 18 p.
Cowan C. Software Security of Open-Source Systems. IEEE Security & Privacy, January-February 2003// IEEE Computer Society. 2003. P. 8.
Borgström J. Translation of Smrt Card Application for Formal Verification: Master's Thesis, Royal Institute of Technology. - Stockholm, 2002. P. 60.
Dowek G., Felty A., Herbelin H., Huet G., Murthy C., Parent C., Paulin-Mohring C., Werner B. The Coq Proof Assistant User Guide// In Rapport INRIA 154. 1993. - 226 p.
Cormie D. Jazelleä-ARMâ architecture extensions for Java applications// ARM, November. 2000. P. 6.
- Купить
