0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (2)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

Smart Card Programming and Security - International Conference on Research in Smart Cards, E-smart 2001, Cannes, France,... Smart Card Programming and Security - International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001. Proceedings (Paperback, 2001 ed.)
Isabelle Attali, Thomas Jensen
R1,522 Discovery Miles 15 220 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the Second International Conference on Research in Smart Cards, E-smart 2001, held in Cannes, France, in September 2001. The 20 revised full papers presented were carefully reviewed and selected from 38 submissions. Among the topics addressed are biometrics, cryptography and electronic signatures on smart card security, formal methods for smart card evaluation and certification, architectures for multi-applications and secure open platforms, and middleware for smart cards and novel applications of smart cards.

Java on Smart Cards: Programming and Security - First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000... Java on Smart Cards: Programming and Security - First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers (Paperback, 2001 ed.)
Isabelle Attali, Thomas Jensen
R1,546 Discovery Miles 15 460 Ships in 10 - 15 working days

Smart cards are playing an increasingly important role in areas such as ban- 1 king,electroniccommerce,andtelecommunications. TheJavaCard language hasbeenproposedasahigh-levellanguageforprogrammingmulti-application smartcards. Theuseofahigh-levellanguagecanfacilitatethedevelopmentand veri?cation of software for smart cards. The modest code size and the imp- tanceoftheapplicationareasimpliesthatitisbothpossibleanddesirableto developandapplyformalmethodsintheconstructionofsafeandsecureJava Cardsoftware. ThepresentvolumeconstitutestheproceedingsoftheJavaCardworkshop heldinCannes,14September2000. TheworkshopgrewoutoftheINRIAAction deRechercheCoop'erative"JavaCard"andwasorganizedincollaborationwith the Java Card Forum. A call for papers resulted in 14 submissions of which theprogramcommitteeselected11papersforpresentationattheworkshop. In addition,theworkshopfeaturedaninvitedtalkbyDanielLeM'etayer,Trusted Logic,onformalmethodsandsmartcardsecurity. WewishtothankCatherine Godest and Maryse Renaud for their help with preparing the proceedings for thisworkshop. February2001IsabelleAttali ThomasJensen 1 ItshouldbenotedthatJavaCardisatrademarkofSunMicrosystems. Organization ProgramCommittee ProgramChair: IsabelleAttali(INRIA,France) ThomasJensen(IRISA/CNRS,France) Committeemembers: ChristianGoire(BullCP8,France) SebastianHans(SunMicrosystems,USA) PieterHartel(UniversityofSouthampton,UK) PeterHoneyman(UniversityofMichigan,USA) PierreParadinas(Gemplus,France) JoachimPosegga(SAPCorporateResearch,Germany) TableofContents InvitedTalk FormalMethodsinContext:SecurityandJavaCard ...1 D. Bolignano,D. LeM'etayer,C. Loiseaux ContributedPapers ADynamicLogicfortheFormalVeri?cationofJavaCardPrograms ...6 BernhardBeckert ThePACAPPrototype:AToolforDetectingJavaCardIllegalFlow ...25 P. Bieber,J. Cazin,A. ElMarouani,P. Girard,J. -L. Lanet,V. Wiels, G. Zanon CardKt:AutomatedMulti-modalDeductiononJavaCardsfor Multi-applicationSecurity...38 RajeevGor'e,LanDuyNguyen A Programming and a Modelling Perspective on the Evaluation of Java CardImplementations...52 PieterH. Hartel,EduarddeJong SecureInternetSmartcards...73 NaomaruItoi,TomokoFukuzawa,PeterHoneyman IssuesinSmartcardMiddleware...90 RogerKehr,MichaelRohs,HaraldVogt OpenPlatfomSecurity ...98 MarcKekiche?,ForoughKashef,DavidBrewer ASimple(r)InterfaceDistributionMechanismforJavaCard ...1 14 KsheerabdhiKrishna,MichaelMontgomery AutomaticTestGenerationforJavaCardApplets ...121 HuguesMartin,LydieduBousquet FormalSpeci?cationandVeri?cationofJavaCard'sApplicationIdenti?er Class...137 JoachimvandenBerg,BartJacobs,ErikPoll X TableofContents Security on Your Hand: Secure Filesystems with a "Non-cryptographic" JAVA-Ring...151 R..udigerWeis,BastiaanBakker,StefanLucks AuthorIndex ...163 Formal Methods in Context: Security and Java Card D. Bolignano, D. Le Metayer, and C. Loiseaux Trusted Logic www. trusted-logic. fr 1. Security and Java Card: An Ideal Application Area for Formal Methods The benefits of formal methods for software engineering have been described at length in many research papers. They include among others: Better understanding and improved communication through unambiguous descriptions. Early bug detection thanks to the formalisation of specifications.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Hermit Crab - Your Happy Healthy Pet
Audrey Pavia Hardcover R748 R659 Discovery Miles 6 590
Automatically Ordering Events and Times…
Leon R.A. Derczynski Hardcover R3,531 Discovery Miles 35 310
State-led Modernization and the New…
A Embong Hardcover R1,524 Discovery Miles 15 240
Lied Vir Sarah - Lesse Van My Ma
Jonathan Jansen, Naomi Jansen Hardcover  (1)
R100 R93 Discovery Miles 930
History Of South Africa - From 1902 To…
Thula Simpson Paperback R450 R415 Discovery Miles 4 150
The New Class Society - Goodbye American…
Earl Wysong, Robert Perrucci, … Hardcover R3,437 Discovery Miles 34 370
Head First Java, 3rd Edition - A…
Kathy Sierra, Bert Bates, … Paperback R1,622 R1,431 Discovery Miles 14 310
Multi-Component Crystals - Synthesis…
Edward Tiekink, Julio Zukerman-Schpector Hardcover R5,360 Discovery Miles 53 600
The Autobiography of a Slave…
Juan Francisco Manzano Paperback R860 Discovery Miles 8 600
Essential Tropical Fish Setup…
Anne Finlay Hardcover R578 Discovery Miles 5 780

 

Partners