Advanced PHP for Flash is the follow-up to the hugely popular Foundation PHP for Flash.

The main aim of this book is to extend the reader's knowledge of using PHP and MySQL to produce dynamic content for Flash. Essentially, it picks up the baton from the first book and runs with it until there's no more road.

The book takes the reader from being an intermediate to an advanced PHP/Flash developer, and helps them create some awesome Flash-based web applications along the way. It covers the core PHP features, as well as some exciting extras, that follow on directly from the knowledge gained in the first chapter, and show the reader how to use them in real-world applications.

This book covers: Sessions File Uploading Advanced MySQL Socket Functions PHP and XML Ming Plus fully functional case studies

This book is aimed squarely at those readers who want to create dynamic Flash-based web applications, and especially at those who have finished the first book and are hungry for more.

As this book is pitched at those with an intermediate knowledge of PHP (and a decent grasp of MySQL) it has the advantage of being useful to both programmers and those coming over from the first book.

Want to create a top-level website from scratch, but dont know where to start? Well, youve got a choice: buy this book, or buy ten others...

Creating a website in today's environment is no longer a question of knowing about one piece of software, or one technology. To achieve the best results, you need broad knowledge on a range of topics: HTML to create pages Cascading Style Sheets (CSS)to format your text JavaScript to create interactivity Image editing software like Fireworks and Photoshop to prepare images Macromedia Flash to add multimedia content

Foundation Web Design is a step-by-step guide to stunning website creation. Starting with the basics, and assuming no prior knowledge, Sham Bhangal cuts through the jargon and introduces a wide range of essential skills and technologies. These combine to help you create a fully operational and graphically stunning case study website.

About the Authors:

Sham Bhangal's unique tutorial style has found success in friends of ED Foundation titles such as Foundation ActionScript, heralded by Amazon.com as perhaps one of the finest introductory programming books ever written.

Tomasz Jankowskiwho designed the case study sitehas won numerous web design awards. His stunning artwork first appeared in our landmark title New Masters of Flash.

Visual Basic .NET is part of the Visual Studio .NET family of products. While the syntax and style are similar to earlier versions of Visual Basic, this version has many radical new features to ensure that Microsoft's best selling language remains one of the most sophisticated Integrated Development Environments available. Whether you want to develop applications for Windows or for the World Wide Web, Visual Basic .NET is an excellent tool for producing reliable, professional applications fast. Essential VB .NET fast covers the development environment, the key controls and the VB programming language including the new additions which allow serious object-oriented programming. Using plenty of examples, John Cowell shows:- How to develop both Windows and ASP .NET applications in a Windows XP environment- An introduction to developing Windows database applications- How to use the essential Windows and Web controls- How to create object orientated applications to get you up and running fast, using VB .NET. The source code for the examples in this book is available at the Essential series web site http://www.essential-series.com

ASP.NET is a wonderful new enabling technology that allows developers to create business solutions much more effectively than ever before. However, there is room for improvement. Developers often do not see the potholes and pitfalls related to this technology until they stumble. "Real World ASP.NET Best Practices" helps readers to avoid just such frustrations. The book's in-depth coverage includes data handling, caching, JavaScript, user and server controls, distributed programming, configuration, and deployment.

"Real World ASP.NET Best Practices" goes far beyond the documentation to teach ASP.NET development best practices based on the authors' real-world experience. The book's emphasis is on helping developers perform tasks correctly and avoid mistakes, not on teaching ASP.NET in general.

Java Persistence for Relational Databases is best practices and patterns for readers who want to connect to databases using Java. It also includes coverage of various database-related APIs for Java, including JDO, JDBC (including newest 3.0 APIs), and CMP (Container Managed Persistence with EJB).Java Persistence for Relational Databases contains all those things developers want to know but were afraid to ask. It addresses realistically persisting Java objects in various ways. Whether a developers environment requires them to use JDO, CMP, Castor, or hand code a persistence layer using JDBC, there is something in this book for them.

Thisvolumecontainsthe?nalproceedingsoftheSeventhWorkshoponOpen Hypermedia Systems (OHS7), the Third Workshop on Structural Computing (SC3),andtheThirdWorkshoponAdaptiveHypermedia(AH3). Allworkshops wereheldatthe12thACMConferenceonHypertextandHypermediainAarhus, Denmark,August14-18,2001. Introductions, agendas, lists of program committee members and parti- pants,and,ofcourse,thepaperscanbefoundintheindividualsectionsofthe workshops. ThisvolumewouldnothavebeenpossiblewithoutthesupportofSpringer- Verlag,Heidelberg. Inparticular,wewouldliketothanktheexecutiveeditorof theLNCSseries,Mr. AlfredHofmann. November2001 SigiReich ManolisTzagarakis PaulDeBra TableofContents TheSeventhWorkshoponOpenHypermediaSystems (OHS7) ProgramCommitteeMembersofOHS7...2 ListofPresentationsatOHS7 ...2 ListofParticipantsatOHS7 ...3 IntroductiontoOHS7 ...4 SigiReich(SalzburgResearch,Austria) UsingOpenHypermediatoSupportInformationIntegration ...8 KennethM. AndersonandSusanneA. Sherba(UniversityofColorado, Boulder,US) ApplyingCollaborativeOpenHypermediaConceptsto ExtendedEnterpriseEngineeringandOperation ...17 JorgM. Haake(GMD-IPSI,Germany) MemeMediaandMemePoolsforRe-editingand RedistributingIntellectualAssets ...2 8 YuzuruTanaka,JunFujima,andTsuyoshiSugibuchi (HokkaidoUniversity,Sapporo,Japan) ThePipelineofEnrichment:SupportingLinkCreationfor ContinuousMedia...47 RichardBeales,DonCruickshank,DavidDeRoure,NickGibbins, BenJuby,DaniusT. Michaelides,andKevinR. Page(Universityof Southampton,UK) AuldLeaky:AContextualOpenHypermediaLinkServer...59 DaniusT. Michaelides,DavidE. Millard,MarkJ. Weal,and DavidDeRoure(UniversityofSouthampton,UK) FOHM+RTSP:ApplyingOpenHypermediaandTemporalLinkingto AudioStreams...71 NeilRidgwayandDavidDeRoure(UniversityofSouthampton,UK) VIII TableofContents DevelopmentToolsinComponent-Based StructuralComputingEnvironments ...82 U?eKockWiil(AalborgUniversityEsbjerg,Denmark) Peer-Reviewed,PublishableHypertexts:AFirstLook ...94 PeterJ. Nurnb .. ergandDavidL. Hicks(AalborgUniversity Esbjerg,Denmark) BecauseISeekanImage,NotaBook ...104 MoritzNeumul ler(WirtschaftsuniversitatWien,Austria) TheThirdWorkshoponStructuralComputing(SC3) ProgramCommitteeMembersofSC3 ...116 ListofPresentationsatSC3...116 ListofParticipantsatSC3...117 IntroductiontoSC3...118 ManolisM. Tzagarakis(CTI,Patras,Greece) WritingtheHoles;"Structural"Re?ectionsofaVisualArtist...1 20 SaulShapiro(Denmark) BroadeningStructuralComputingtowardsHypermediaDevelopment...131 MariaKyriakopoulou,DimitrisAvramidis,MichalisVaitis, ManolisM. Tzagarakis,andDimitrisChristodoulakis(CTI,Greece) AGraphicalUserInterfaceIntegratingFeaturesfrom Di?erentHypertextDomains...141 WeigangWangandAlejandroFern'andez(FhG-ISPI,Germany) UsingStructuralComputingtoSupportInformationIntegration...151 KennethM. AndersonandSusanneA. Sherba(UniversityofColorado, Boulder,US) ProvidingStructuralComputingServicesontheWorldWideWeb ...160 U?eKockWiilandDavidL. Hicks(AalborgUniversity Esbjerg,Denmark) CooperationServicesinaStructuralComputingEnvironment ...172 SamirTata,DavidL. Hicks,andU?eKockWiil(AalborgUniversity Esbjerg,Denmark) TableofContents IX StructuralComputingandItsRelationshipstoOtherFields...183 PeterJ. Nurnb ..18,2001. Introductions, agendas, lists of program committee members and parti- pants,and,ofcourse,thepaperscanbefoundintheindividualsectionsofthe workshops. ThisvolumewouldnothavebeenpossiblewithoutthesupportofSpringer- Verlag,Heidelberg. Inparticular,wewouldliketothanktheexecutiveeditorof theLNCSseries,Mr. AlfredHofmann. November2001 SigiReich ManolisTzagarakis PaulDeBra TableofContents TheSeventhWorkshoponOpenHypermediaSystems (OHS7) ProgramCommitteeMembersofOHS7...2 ListofPresentationsatOHS7 ...2 ListofParticipantsatOHS7 ...3 IntroductiontoOHS7 ...4 SigiReich(SalzburgResearch,Austria) UsingOpenHypermediatoSupportInformationIntegration ...8 KennethM. AndersonandSusanneA. Sherba(UniversityofColorado, Boulder,US) ApplyingCollaborativeOpenHypermediaConceptsto ExtendedEnterpriseEngineeringandOperation ...17 JorgM. Haake(GMD-IPSI,Germany) MemeMediaandMemePoolsforRe-editingand RedistributingIntellectualAssets ...28 YuzuruTanaka,JunFujima,andTsuyoshiSugibuchi (HokkaidoUniversity,Sapporo,Japan) ThePipelineofEnrichment:SupportingLinkCreationfor ContinuousMedia...47 RichardBeales,DonCruickshank,DavidDeRoure,NickGibbins, BenJuby,DaniusT. Michaelides,andKevinR. Page(Universityof Southampton,UK) AuldLeaky:AContextualOpenHypermediaLinkServer...59 DaniusT. Michaelides,DavidE. Millard,MarkJ. Weal,and DavidDeRoure(UniversityofSouthampton,UK) FOHM+RTSP:ApplyingOpenHypermediaandTemporalLinkingto AudioStreams...7 1 NeilRidgwayandDavidDeRoure(UniversityofSouthampton,UK) VIII TableofContents DevelopmentToolsinComponent-Based StructuralComputingEnvironments ...82 U?eKockWiil(AalborgUniversityEsbjerg,Denmark) Peer-Reviewed,PublishableHypertexts:AFirstLook ...94 PeterJ. Nurnb .. ergandDavidL. Hicks(AalborgUniversity Esbjerg,Denmark) BecauseISeekanImage,NotaBook ...104 MoritzNeumul ler(WirtschaftsuniversitatWien,Austria) TheThirdWorkshoponStructuralComputing(SC3) ProgramCommitteeMembersofSC3 ...116 ListofPresentationsatSC3...116 ListofParticipantsatSC3...117 IntroductiontoSC3...118 ManolisM. Tzagarakis(CTI,Patras,Greece) WritingtheHoles;"Structural"Re?ectionsofaVisualArtist...120 SaulShapiro(Denmark) BroadeningStructuralComputingtowardsHypermediaDevelopment...131 MariaKyriakopoulou,DimitrisAvramidis,MichalisVaitis, ManolisM. Tzagarakis,andDimitrisChristodoulakis(CTI,Greece) AGraphicalUserInterfaceIntegratingFeaturesfrom Di?erentHypertextDomains...141 WeigangWangandAlejandroFern'andez(FhG-ISPI,Germany) UsingStructuralComputingtoSupportInformationIntegration...151 KennethM. AndersonandSusanneA. Sherba(UniversityofColorado, Boulder,US) ProvidingStructuralComputingServicesontheWorldWideWeb ...160 U?e KockWiilandDavidL. Hicks(AalborgUniversity Esbjerg,Denmark) CooperationServicesinaStructuralComputingEnvironment ...172 SamirTata,DavidL. Hicks,andU?eKockWiil(AalborgUniversity Esbjerg,Denmark) TableofContents IX StructuralComputingandItsRelationshipstoOtherFields...183 PeterJ. Nurnb .. erg(AalborgUniversityEsbjerg,Denmark)and MonicaM. C. Schraefel(UniversityofToronto,Canada) TheThirdWorkshoponAdaptiveHypermedia(AH3) ProgramCommitteeMembersofAH3...196 ListofPresentationsatAH3 ...196 ListofParticipantsatAH3 ...197 IntroductiontoAH3 ...199 PaulM. E. DeBra(EindhovenUniversityofTechnology, TheNetherlands) TheImpactofEmpiricalStudiesontheDesignofanAdaptiveHypertext GenerationSystem...201 KalinaBontcheva(UniversityofShe?eld,UK) INSPIRE:AnINtelligentSystemforPersonalizedInstructionin aRemoteEnvironment ...215 KyparisiaA. Papanikolaou,MariaGrigoriadou,HarryKornilakis (UniversityofAthens,Greece),andGeorgeD. Magoulas (BrunelUniversity,UK) DevelopingAdaptiveInternetBasedCourseswith theAuthoringSystemNetCoach...226 GerhardWeber,Hans-ChristianKuhl,andStephanWeibelzahl (UniversityofFreiburg,Germany) LinkAugmentation:AContext-BasedApproachto SupportAdaptiveHypermedia...2 39 ChristopherBailey,SamhaaR. El-Beltagy,andWendyHall (UniversityofSouthampton,UK) XAHM:AnXML-BasedAdaptiveHypermediaModeland ItsImplementation...252 MarioCannataro(ISI-CNR,Italy)andAndreaPugliese (UniversityofCalabria,Italy) RevisitingandVersioninginVirtualSpecialReports ...264 S'atWien,Austria) TheThirdWorkshoponStructuralComputing(SC3) ProgramCommitteeMembersofSC3 ...116 ListofPresentationsatSC3...116 ListofParticipantsatSC3...117 IntroductiontoSC3...118 ManolisM. Tzagarakis(CTI,Patras,Greece) WritingtheHoles;"Structural"Re?ectionsofaVisualArtist...120 SaulShapiro(Denmark) BroadeningStructuralComputingtowardsHypermediaDevelopment...131 MariaKyriakopoulou,DimitrisAvramidis,MichalisVaitis, ManolisM. Tzagarakis,andDimitrisChristodoulakis(CTI,Greece) AGraphicalUserInterfaceIntegratingFeaturesfrom Di?erentHypertextDomains...141 WeigangWangandAlejandroFern'andez(FhG-ISPI,Germany) UsingStructuralComputingtoSupportInformationIntegration...151 KennethM. AndersonandSusanneA. Sherba(UniversityofColorado, Boulder,US) ProvidingStructuralComputingServicesontheWorldWideWeb ...160 U?eKockWiilandDavidL. Hicks(AalborgUniversity Esbjerg,Denmark) CooperationServicesinaStructuralComputingEnvironment ...172 SamirTata,DavidL. Hicks,andU?eKockWiil(AalborgUniversity Esbjerg,Denmark) TableofContents IX StructuralComputingandItsRelationshipstoOtherFields...183 PeterJ. Nurnb .. erg(AalborgUniversityEsbjerg,Denmark)and MonicaM. C. Schraefel(UniversityofToronto,Canada) TheThirdWorkshoponAdaptiveHypermedia(AH3) ProgramCommitteeMembersofAH3...196 ListofPresentationsatAH3 ...196 ListofParticipantsatAH3 ...197 IntroductiontoAH3 ...199 PaulM. E. DeBra(EindhovenUniversityofTechnology, TheNetherlands) TheImpactofEmpiricalStudiesontheDesignofanAdaptiveHypertext GenerationSystem...201 KalinaBontcheva(UniversityofShe?eld,UK) INSPIRE:AnINtelligentSystemforPersonalizedInstructionin aRemoteEnvironment ...215 KyparisiaA. Papanikolaou,MariaGrigoriadou,HarryKornilakis (UniversityofAthens,Greece),andGeorgeD. Magoulas (BrunelUniversity,UK) DevelopingAdaptiveInternetBasedCourseswith theAuthoringSystemNetCoach...226 GerhardWeber,Hans-ChristianKuhl,andStephanWeibelzahl (UniversityofFreiburg,Germany) LinkAugmentation:AContext-BasedApproachto SupportAdaptiveHypermedia...239 ChristopherBailey,SamhaaR. El-Beltagy,andWendyHall (UniversityofSouthampton,UK) XAHM:AnXML-BasedAdaptiveHypermediaModeland ItsImplementation...252 MarioCannataro(ISI-CNR,Italy)andAndreaPugliese (UniversityofCalabria,Italy) RevisitingandVersioninginVirtualSpecialReports ...264 S'ebastienIksalandSergeGarlatti(ENST-Bretagne,France) X TableofContents TailoringtheRecommendationofTouristInformationtoHeterogeneous UserGroups...280 L. Ardissono,A. Goy,G. Petrone,M. Segnan,andP. Torasso (UniversityofTurin,Italy) ApplicationofART2NetworksandSelf-OrganizingMapsto CollaborativeFiltering...296 GuntramGraefandChristianSchaefer(Universityof Karlsruhe,Germany) METIOREW:AnObjectiveOrientedContentBasedandCollaborative RecommendingSystem ...310 DavidBueno,RicardoConejo(UniversityofM'alaga,Spain),and AmosA. David(LORIA,France) IntegratingUserDataandCollaborativeFilteringin aWebRecommendationSystem ...315 PaoloBuono,MariaFrancescaCostabile,StefanoGuida,and AntonioPiccinno(UniversityofBari,Italy) AdaptiveHypermediaSystemforSupportingInformationProvidersin DirectingUsersthroughHyperspace...3 22 YoshinoriHijikata,TetsuyaYoshida,andShogoNishida(Universityof Osaka,Japan) AComplementaryApproachforAdaptiveandAdaptableHypermedia: IntensionalHypertext ...327 WilliamW. Wadge(UniversityofVictoria,Canada)and MonicaM. C. Schraefel(UniversityofToronto,Canada) AuthorIndex...335 ProgramCommitteeMembersofOHS7 ThefollowingpeoplehaveservedontheProgramCommitteeoftheSeventh WorkshoponOpenHypermediaSystems.

"XML Programming Using the Microsoft XML Parser" is written for programmers interested in XML development using Microsoft technologies. Coupling valuable discussion of the Microsoft XML parser, Windows platform, and XML development software with the numerous core XML technologies, including XSLT, XPATH, SAX, DOM, XML Schema, and SOAP, this book steps beyond the mainstream focus on the theoretical aspects of XML and actually demonstrates the concepts in a real-world development environment.

Veteran authors and trainers Soo Mee Foo and Wei Meng Lee intersperse this survey of XML technologies with discussion of topics sure to interest any budding XML developer, providing timely information regarding Web services, ActiveX Data Objects (ADO), and Microsoft SQL Server 2000 XML support. A chapter is also devoted to the Wireless Markup Language (WML), one of the most visible applications of XML technology.

No question, XML is one of the rising stars in information technology. "XML Programming Using the Microsoft XML Parser" offers you what you need to know to get acquainted with the concepts necessary to begin development with this exciting technology.

Design Patterns for Web Services in Java describes the architectural patterns that guide developers through design patterns (service implementation and usage) and illustrates different ways in which Web services can and will be used. Design Patterns for Web Services in Java is not the typical narrative tome. Instead, after some introductory text, author Paul Monday provides a catalog of approximately 20 patterns that are typically needed in the development of Web services-based systems.

XHTML is a flexible XML-based markup language for designing Web sites. In January 2000, the W3C announced that it was supporting the development of XHTML as a replacement to HTML. HTML will continue to be around for a while, but if you want to develop Web sites for the future you need to switch to XHTML. Designers who make the change find that they can develop faster, better sites using XHTML. Most Web sites are interactive, responding to the viewer. To do this you need to use a scripting language - JavaScript is the most popular scripting language and interfaces easily with XHTML. To develop powerful interactive Web sites you need to understand these technologies and how they work together. Essential XHTML fast gives you everything you need to develop great Web sites in XHTML, including an introduction to scripting with JavaScript so that you can create dynamic interactive Web pages. There are many step-by-step examples, which you can download from the series Web site. It covers key aspects such as: - The relationship between XML and XHTML - Cascading Style sheets for formatting layout - Using text, images and image maps as links- Creating and using tables - The new standard for frames - Interactive XHTML forms - The JavaScript language- Incorporating JavaScript into XHTML pages- Handling events in JavaScript The source code for the examples in this book is available at the Essential series web site http://www.essential-series.com

Explains how to configure a telephone or PDA into a network browser, turn a desktop PC into a print server, transfer files between devices, set up and configure a Bluetooth network simulator, and encrypt data transmissions.

"Building Client/Server Applications with VB .NET: An Example-Driven Approach" is based on Release 1.0 of the .NET Framework / Release 1.0 of Visual Studio .NET + .NET Framework Service Pack 1. -->Jeff Levinson--> walks readers through how to write a complete applicationno snippets of codeand will show readers examples of how, when, and why to perform a task. "Building Client/Server Applications with VB .NET: An Example-Driven Approach" is "the" manual on software development for enterprise application development.

In today's world, smart cards play an increasingly important role in everyday life. We encounter them as credit cards, loyalty cards, electronic purses, health cards, and as secure tokens for authentication or digital signature. Their small size and the compatibility of their form with the magnetic stripe card make them ideal carriers of personal information such as secret keys, passwords, customization profiles, and medical emergency information. This book provides a guide for the rapid development of smart card applications using Java and the OpenCard Framework. It gives you the basic information you need about smart cards and how they work. It shows in detail how to develop applications that use smart cards by guiding you through examples step by step. A smart card provided with the book will help you to quickly get some first hands-on experience.

This book constitutes the thoroughly refereed postproceedings of the International Workshop on Scientific Engineering for Distributed Java Applications, FIDJI 2002, held in Luxembourg-Kirchberg, Luxembourg in November 2002. The 16 revised full papers presented together with a keynote paper and 3 abstracts were carefully selected from 33 submissions during two rounds of reviewing and improvement. Among the topics addressed are Java coordination, Web service architectures, transaction models, CORBA-based distributed systems, mobile objects, Java group toolkits, distributed process management systems, active objects in J2EE, Java frameworks, Jini, component-based distributed applications, Java middleware, fault-tolerant mobile systems.

Das Buch Unternehmensportale Grundlagen, Architekturen, Technologien ist das erste deutschsprachige Grundlagenwerk uber modernes Informations- und Geschaftsprozessmanagement mit Hilfe von Unternehmensportalen.

Das umfassende Kompendium ist Grundlagenwerk, Kochbuch und Wegweiser fur alle fachlich-inhaltlichen, technischen und betriebswirtschaftlichen Aspekte von Unternehmensportalen. Diese ganzheitliche Sichtweise bietet dem Leser einen umfassenden Uberblick und versetzt ihn grundsatzlich in die Lage, die Einfuhrung eines Unternehmensportals fur das eigene Unternehmen zu kalkulieren, zu planen und durchzufuhren sowie den Betrieb des Unternehmensportals zu organisieren. Checklisten und Best Practices geben dabei konkrete Hilfestellungen."

Java and Object Orientation: An Introduction (2nd edition) shows readers how to build object oriented applications in Java. Written in a clear and concise style, with lots of examples, this revised edition provides:- A detailed understanding of object orientation- A thorough introduction to Java including building blocks, constructs, classes, data structures etc.- Coverage of graphical user interfaces and applets (AWT, Servlets)- Object oriented analysis and design including UML. If you are looking for a good introduction to Java and object orientation, then this is the book for you. Source code for the examples in this book is available at: http://www.java-and-oo.net

"Moving to ASP.NET: Web Development with VB .NET" provides focused and thorough guidance on creating Web applications using ASP.NET, including both Web Form applications and Web Services. Authors -->Steve Harris--> and -->Rob MacDonald--> have worked extensively with .NET throughout the beta program, and offer their real-world experience creating and implementing ASP.NET applications.

The authors discuss and examine relevant topics, and teach you how to make immediate use of ASP.NET. Topics include Web Forms, server-side and mobile controls, data access and binding, and XML integration. Also covered are .NET architecture and configuration, security, state and session management, scalability design, and Web Services. Extensive examples are featured throughout the book, and are also available on the Web for you to access and download.

Discover an up-to-date and authoritative exploration of Python cybersecurity strategies Python For Cybersecurity: Using Python for Cyber Offense and Defense delivers an intuitive and hands-on explanation of using Python for cybersecurity. It relies on the MITRE ATT&CK framework to structure its exploration of cyberattack techniques, attack defenses, and the key cybersecurity challenges facing network administrators and other stakeholders today. Offering downloadable sample code, the book is written to help you discover how to use Python in a wide variety of cybersecurity situations, including: Reconnaissance, resource development, initial access, and execution Persistence, privilege escalation, defense evasion, and credential access Discovery, lateral movement, collection, and command and control Exfiltration and impact Each chapter includes discussions of several techniques and sub-techniques that could be used to achieve an attacker's objectives in any of these use cases. The ideal resource for anyone with a professional or personal interest in cybersecurity, Python For Cybersecurity offers in-depth information about a wide variety of attacks and effective, Python-based defenses against them.

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.

A complete update covering the many advances to the XML language

The XML language has become the standard for writing documents on the Internet and is constantly improving and evolving. This new edition covers all the many new XML-based technologies that have appeared since the previous edition four years ago, providing you with an up-to-date introductory guide and reference. Packed with real-world code examples, best practices, and in-depth coverage of the most important and relevant topics, this authoritative resource explores both the advantages and disadvantages of XML and addresses the most current standards and uses of XML. Features the most updated content built on audience feedback from the previous edition as well as the vast knowledge from XML developer teams Boasts new chapters on RELAX NG and Schematron, XML functionality in databases, LINQ to XML, Jabber and XMLPP, XHTML, HTML5, and more Offers in-depth coverage on extracting data from XML and updated material on Web Services

"Beginning XML, Fifth Edition" delivers the most important aspects of XML in regard to what it is, how it works, what technologies surround it, and how it can best be used in a variety of situations.

Leitlinie dieser Einfuhrung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verfugung stehen, um Informatiksysteme analysieren oder entwerfen zu konnen.

Modelle enstehen in der Zusammenschau unterschiedlicher Ansichten eines Systems, die durch pragnante Diagramme beschrieben werden: Entity-Relationship-, Systemstruktur-, Zustandsubergangs- und Sequenzdiagramme. Inharenter Bestandteil dieser grafischen Beschreibungstechniken ist die Charakterisierung der zugrundeliegenden Daten (z.B. in funktionaler Programmierung). Die Autoren verwenden in Ihrem Werk AutoFOCUS zum Diagramm-orientierten Systementwurf, zur Konsistenzprufung und zur Simulation. Sie gehen den Fragen nach, wie sich Diagramme in formale Spezifikationen ubertragen lassen, woher eine Systementwicklung ihre Argumente nimmt, nach welchen Methoden verifiziert wird und wie interaktive Theorembeweiser, wie z.B. Isabelle/HOL, arbeiten."

Essential ColdFusion fast gives the reader a working knowledge of ColdFusion and how to use it and how it integrates with other web-based technologies. Lots of working examples are included throughout, all of which are also available via a web-site that is powered by ColdFusion, which shows exactly how they work.Matthew Norman has written a 'get started quick' guide to ColdFusion, in the style of the Essential series, describing the setting up of a development system. He talks about how to achieve this on a budget, using techniques that are applicable to large scale operations as well.Anyone with a working knowledge of the internet, and who wants to learn more about what ColdFusion does and how they can start using it quickly, will find this book a real help.

Java developers have adapted to a world in which everything is an object, resources are reclaimed by a garbage collector, and multiple inheritance is replaced by interfaces. All of these things have prepared developers to thrive in Microsoft's new .NET environment using C#.

Despite similarities between Java and C#, complex differences still lurk. This book will walk you through both language and library differences, to help you develop enterprise applications requiring mastery. You will then be able to build applications that communicate with databases and include network components, web pages, and many other features.

Ordinarily, Java developers rely on Java 2 Enterprise Edition (J2EE) to provide these libraries, and C# developers rely on the .NET Framework. At first glance, there seems little similarity between the two, but author Paul Gibbons shows how a Java developer's J2EE skills transfer smoothly when tackling the .NET Framework.

Early chapters highlight C#'s differences from Java, and discuss differences between the .NET CLR and JVM. Subsequent chapters cover various technologies in which J2EE development translates into .NET enterprise development. These middle chapters also explain .NET technologies that Java developers can begin using immediately. The final chapter examines migration of existing Java applications to C#, and the available tools and techniques. By the end of ."NET Development for Java Programmers," a professional Java developer will be able to tackle a real software project in .NET, using C#.

One of the most useful features of today's modern browsers is the ability to store data right on the user's computer or mobile device. Even as more people move toward the cloud, client-side storage can still save web developers a lot of time and money, if you do it right. This hands-on guide demonstrates several storage APIs in action. You'll learn how and when to use them, their plusses and minuses, and steps for implementing one or more of them in your application. Ideal for experienced web developers familiar with JavaScript, this book also introduces several open source libraries that make storage APIs easier to work with. Learn how different browsers support each client-side storage API Work with web (aka local) storage for simple things like lists or preferences Use IndexedDB to store nearly anything you want on the user's browser Learn how support web apps that still use the discontinued Web SQL Database API Explore Lockr, Dexie, and localForage, three libraries that simplify the use of storage APIs Build a simple working application that makes use of several storage techniques

"Real World ASP.NET: Building a Content Management System" provides web developers with a cost-effective way to develop a content management system within Microsoft's .NET Framework. Unlike other .NET books on ASP.NET that teach technologies on a piecemeal basis, this book explains the underlying technologies and also shows how they are integrated into a complete ASP.NET application suitable for many organizations. Complete source code written in C# and ASP.NET is included, which will enable web developers to create a dynamic content site at a fraction of the cost of a commercial solution. You will learn about the following:

Content management system: This system used to manage the content of a website consists of the content management, metacontent management, and content delivery applications. C# and ASP.NET: These underlying technologies are introduced and then applied extensively. ADO.NET: All aspects relevant to dynamic content management are covered. XML: Extensible Markup Language (XML) is introduced and then applied in the programmatic updating of the config.web file. Authentication, authorization, and encryption: These topics are discussed in the book, especially with regard to protected content and system administration. Personalization: Many key technologies are used to make the CMS solution truly user-friendly.

"Real-World ASP.NET: Building a Content Management System" is the complete hands-on guide to mastering the art of content management systems and website development using the .NET Framework.