0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R500 - R1,000 (3)
  • R1,000 - R2,500 (4)
  • -
Status
Brand

Showing 1 - 7 of 7 matches in All Departments

Static Analysis - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (Paperback, 1st... Static Analysis - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (Paperback, 1st ed. 2015)
Sandrine Blazy, Thomas Jensen
R2,480 Discovery Miles 24 800 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015. The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance are addressed, featuring theoretical, practical, and application advances in the area

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.

Planungsstabilitat in Der Material-Logistik (German, Paperback): Thomas Jensen Planungsstabilitat in Der Material-Logistik (German, Paperback)
Thomas Jensen
R1,635 Discovery Miles 16 350 Ships in 10 - 15 working days

Erstmals liegt eine systematische Untersuchung zum Themenkomplex der Planungsstabilitat vor. Sie beschaftigt sich mit dem Problem der Instabilitat der im Rahmen einer rollierenden Planungsumgebung im Zeitablauf generierten Planungsvorgaben. Anhand operationaler Masse fur unterschiedliche Stabilitatsaspekte werden als Beispiel die strukturellen Stabilitatseigenschaften stochastischer Lagerdispositionsregeln analysiert. Es zeigt sich, dass die erreichbare Stabilitat vom Typ der Bestellregel und von den verwendeten Politikparametern abhangt, wobei vorgeschlagene modifizierte Dispositionsregeln zu deutlich stabileren Planungsergebnissen fuhren. Mit den gewonnenen Erkenntnissen erschliessen sich dem Leser neue Moeglichkeiten, um Problemen der Planungsnervositat gezielt und wissenschaftlich fundiert begegnen zu koennen

Bryologia Danica Eller De Danske Bladmosser (1856) (Chinese, Paperback): Thomas Jensen Bryologia Danica Eller De Danske Bladmosser (1856) (Chinese, Paperback)
Thomas Jensen
R754 Discovery Miles 7 540 Ships in 10 - 15 working days
Bryologia Danica Eller de Danske Bladmosser (1856) (Chinese, English, Paperback): Thomas Jensen Bryologia Danica Eller de Danske Bladmosser (1856) (Chinese, English, Paperback)
Thomas Jensen
R755 Discovery Miles 7 550 Ships in 10 - 15 working days
Bryologia Danica Eller de Danske Bladmosser (Danish, Paperback): Thomas Jensen Bryologia Danica Eller de Danske Bladmosser (Danish, Paperback)
Thomas Jensen
R672 R605 Discovery Miles 6 050 Save R67 (10%) Ships in 10 - 15 working days

This is a reproduction of a book published before 1923. This book may have occasional imperfections such as missing or blurred pages, poor pictures, errant marks, etc. that were either part of the original artifact, or were introduced by the scanning process. We believe this work is culturally important, and despite the imperfections, have elected to bring it back into print as part of our continuing commitment to the preservation of printed works worldwide. We appreciate your understanding of the imperfections in the preservation process, and hope you enjoy this valuable book.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Financial Inclusion and Poverty…
Muhamed Zulkhibri, Abdul Ghafar Ismail Hardcover R4,278 Discovery Miles 42 780
Advanced Questions On SA Tax 2020 - With…
Paperback R98 Discovery Miles 980
The Spiritglass Charade
Colleen Gleason Hardcover R675 Discovery Miles 6 750
Analytical Perspectives - Budget of the…
Executive Office of the President Paperback R1,345 Discovery Miles 13 450
Donkerbloed
Elrien Scheepers Paperback R240 R225 Discovery Miles 2 250
The Practical Distiller, or an…
Samuel Mcharry Hardcover R553 Discovery Miles 5 530
I Am Not a Label - 34 disabled artists…
Cerrie Burnell Paperback R265 Discovery Miles 2 650
Soccer Analytics - Assess Performance…
Chest Dugger Hardcover R675 Discovery Miles 6 750
I Want The World
Wayne Baptiste Hardcover R504 Discovery Miles 5 040
Statebuilding and Counterinsurgency in…
James Worrall Hardcover R3,039 Discovery Miles 30 390

 

Partners