Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Gilles Barthe; Benjamin Gregoire; Marieke Huisman;


Варианты приобретения
Цена: 9083.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Gilles Barthe; Benjamin Gregoire; Marieke Huisman;
Название:  Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
ISBN: 9783540336891
Издательство: Springer
Классификация:








ISBN-10: 3540336893
Обложка/Формат: Paperback
Страницы: 192
Вес: 0.28 кг.
Дата издания: 2006
Серия: Lecture notes in computer science / security and cryptology
Язык: English
Иллюстрации: 1, black & white illustrations
Размер: 231 x 155 x 10
Читательская аудитория: Professional & vocational
Подзаголовок: Second international workshop, cassis 2005, nice, france, march 8-11, 2005, revised selected papers
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005. This work contains papers that are organized in topical sections on research trends in smart devices, Web services, virtual machine technology, security and proof-carrying code.


Mpls in the Sdn Era: Interoperable Scenarios to Make Networks Scale to New Services

Автор: Szarkowicz Krzysztof Grzegorz, Monge Antonio Sanch
Название: Mpls in the Sdn Era: Interoperable Scenarios to Make Networks Scale to New Services
ISBN: 149190545X ISBN-13(EAN): 9781491905456
Издательство: Wiley
Рейтинг:
Цена: 12873.00 р.
Наличие на складе: Ожидается поступление.

Описание: How can you make multivendor services work smoothly on today`s complex networks? This practical book shows you how to deploy a large portfolio of multivendor Multiprotocol Label Switching (MPLS) services on networks, down to the configuration level.

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Автор: Gilles Barthe; Lilian Burdy; Marieke Huisman; Jean
Название: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
ISBN: 3540242872 ISBN-13(EAN): 9783540242871
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains a selection of refereed papers from participants of the workshop "Construction and Analysis of Safe, Secure and Interoperable Smart Devices" (CASSIS), held from the 10th to the 13th March 2004 in Marseille, France: http: //www-sop.inria.fr/everest/events/cassis04/ The workshop was organized by INRIA (Institut National de Recherche en InformatiqueetenAutomatique), Franceandthe UniversitydelaM editerran ee, Marseille, France. The workshop was attended by nearly 100 participants, who were invited for their contributions to relevant areas of computer science. Theaimoftheworkshopwastobringtogetherexpertsfromthesmartdevices industry and academic researchers, with a view to stimulate research on formal methods and security, and to encourage the smart device industry to adopt innovative solutions drawn from academic research. The next generation of smart devices holds the promise of providing the required infrastructure for the secure provision of multiple and personalized services. In order to deliver their promise, the smart device technology must however pursue the radical evolution that was initiated with the adoption of multi-application smartcards. Typical needs include: - The possibility for smart devices to feature extensible computational infr- tructures that may be enhanced to support increasingly complex appli- tions that may be installed post-issuance, and may require operating system functionalities that were not pre-installed. Such additional ?exibility must however not compromise security. - The possibility for smart devices to achieve a better integration with larger computersystems, throughimprovedconnectivity, genericity, aswellasint- operability.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия