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

Langue : anglais

Edité par Springer Berlin Heidelberg Jan 2005, 2005

3540242872 / 9783540242871

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 11 janvier 2012

Afficher les articles de ce vendeur
Livre broché

Etat: Neuf

EUR 53,49

EUR 23,00 expédition 
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 2 disponible(s)

Ajouter au panier
Retours gratuits sous 30 jours

Item description from seller

This item is printed on demand - it takes 3-4 days longer - Neuware -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: 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. 272 pp. Englisch.

N° de réf. du vendeur 9783540242871

Titre
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Auteur
Gilles Barthe
Éditeur
Springer Berlin Heidelberg Jan 2005
Année de publication
2005
État de l'article
Neu
Reliure
Taschenbuch
Langue
anglais
ISBN à 10 chiffres
3540242872
ISBN à 13 chiffres
9783540242871
Poids de l'article
417 grammes
Dimensions
235x155x15 mm

BuchWeltWeit Ludwig Meier e.K.

Bergisch Gladbach, Allemagne

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 11 janvier 2012

Frais d'expédition de Allemagne vers Etats-Unis

Article5 à 15 jours ouvrés5 à 15 jours ouvrés
Premier articleEUR 23,00EUR 23,00
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Chèque
  • Paypal
  • Virement bancaire

Profil professionnel du vendeur

BuchWeltWeit Ludwig Meier e.K.

Allemagne