We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Secure Web Applications with AWA

00:00

Formal Metadata

Title
Secure Web Applications with AWA
Title of Series
Number of Parts
561
Author
License
CC Attribution 2.0 Belgium:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
Web application security is often underestimated, and using a secure framework can help reduce application vulnerabilities. Ada Web Application (AWA) is a web framework that leverages Ada's safety features to provide a secure environment on top of which safe applications are built. AWA is based on several Java-like technologies such as Java Beans, Java Servlet, Java Server Faces, other standards such as OAuth2, REST and OpenAPI, all implemented in Ada. This presentation briefly describes the AWA architecture and how applications are built with it. The presentation highlights some of the Ada functionalities that contribute to the safety and make applications secure and reliable.
DatabaseClient (computing)Server (computing)Web browserJava appletLTI system theoryAuthorizationBuildingJava Server FacesDemo (music)BlogInformation securitySummierbarkeitEvent horizonComputer-generated imageryComponent-based software engineeringPhysical systemBuildingComputer programData managementConnectivity (graph theory)Information securityWebsiteMereologyWeb browserClient (computing)Web 2.0NumberPhysical systemWeb serviceSemiconductor memoryServer (computing)Latent heatFlow separationSoftwareJava appletComputer architectureCASE <Informatik>Cartesian coordinate systemPlanningDatabaseLibrary (computing)Utility softwareProjective planeBitOperator (mathematics)Dynamical systemObject (grammar)Online helpDependent and independent variablesMechanism designValidity (statistics)Standard deviationComputer fileLeakSoftware frameworkFront and back endsBlogWritingProcess (computing)Insertion lossWindowFunctional (mathematics)Web applicationWikiPresentation of a groupPoint cloud2 (number)Software as a serviceSpacetimeState of matterProxy serverOcean currentDiscrete groupGroup actionTwitterHeegaard splittingFreewareCross-site scriptingFamilyIsing-ModellForcing (mathematics)Open setLevel (video gaming)SummierbarkeitPerturbation theoryoutputTesselationBootingService-oriented architectureBlock (periodic table)AuthenticationDrop (liquid)E-learningComputer animation
Parameter (computer programming)String (computer science)IntegerCurvatureData typeoutputSoftware frameworkComputer fileEuclidean vectorInterface (computing)MetadataContent (media)Web pageAnalog-to-digital converterWikiInformationGroup actionOSI modelJava appletObject (grammar)Information securityFunction (mathematics)Type theoryAbstractionOperations researchTable (information)ImplementationElectric generatorCodeStructural loadKeyboard shortcutRadiology information systemInstance (computer science)Dean numberWritingMetreWikiView (database)Attribute grammarFunctional (mathematics)ExpressionObject (grammar)Function (mathematics)Ring (mathematics)Content (media)Standard deviationParameter (computer programming)Revision controlCodeSummierbarkeitOperator (mathematics)Connectivity (graph theory)Physical systemElectric generatorMultiplication signWeb browserGroup actionEndliche ModelltheorieLink (knot theory)Proxy serverData managementSemantics (computer science)Process (computing)Row (database)Hill differential equationConfiguration spaceSubject indexingFactory (trading post)outputGame controllerInterface (computing)Online helpRight anglePresentation of a groupForm (programming)String (computer science)File formatPhysical lawApplication service providerComputer fileJava appletDatabaseResultantPerturbation theoryLine (geometry)Validity (statistics)ImplementationSoftware framework2 (number)PressureRekursiv aufzählbare MengeLatent heatServer (computing)Mechanism designSmith chartMereologyWhiteboardBinary fileType theoryFormal verificationInformationStructural loadTable (information)NavigationDampingComputer animation
Exception handlingParameter (computer programming)Validity (statistics)MetadataServer (computing)Type theoryGUI widgetoutputImage registrationProcess (computing)EmailPasswordAuthenticationSoftware frameworkFacebookGoogolTwitterInformation securityAuthorizationOperations researchUniform resource locatorView (database)String (computer science)Data typeStructural loadPhysical systemContext awarenessClique-widthComputer fileModule (mathematics)SummierbarkeitNumberGroup actionMechanism designValidity (statistics)Water vaporFunctional (mathematics)Factory (trading post)Tracing (software)Process (computing)Uniform resource locatorNatural numberView (database)Fisher informationConnectivity (graph theory)Formal verificationOpen setSet (mathematics)Link (knot theory)Principal idealMereologyInformation securityGame theoryTwitterIdentifiabilityDatabaseTerm (mathematics)Physical systemAuthenticationData managementFacebook2 (number)GoogolForcing (mathematics)Software frameworkHydraulic jumpException handlingImage registrationOperator (mathematics)Level (video gaming)Web pageProjective planeResultantFisher's exact testStructural loadPoynting vectorAuthorizationContent (media)EmailGreen's functionObject (grammar)Cartesian coordinate systemGame controllerLogic gateSource codeCategory of beingPasswordSpeech synthesisEndliche ModelltheorieService-oriented architectureRevision controlKeyboard shortcutWikiParameter (computer programming)Ferry CorstenPresentation of a groupAddress spaceState of matterMessage passingPoint (geometry)Type theoryConnected spaceTable (information)System callKey (cryptography)Rule of inferenceCASE <Informatik>ImplementationRight angleAttribute grammar
Information securityGame controllerSign (mathematics)Function (mathematics)Data typeString (computer science)Context awarenessBoolean algebraCharge carrierException handlingContent (media)Configuration spaceBlock (periodic table)AuthorizationWeb pageModule (mathematics)Electric generatorServer (computing)Electronic program guideoutputData modelJava appletSummierbarkeitSoftware frameworkDatabaseAnnihilator (ring theory)Validity (statistics)Information securityoutputGame controllerTerm (mathematics)Configuration spacePresentation of a groupDirection (geometry)Virtual machineProjective planeComputer fileMechanism designCartesian coordinate systemLevel (video gaming)Principal idealSymbol tableRevision controlPrisoner's dilemmaHill differential equationModule (mathematics)Open setResultantOrder (biology)BenchmarkBlock (periodic table)BitCodeSeries (mathematics)Object (grammar)State of matterWaveMiniDiscWordContent (media)ArmGodStatement (computer science)Client (computing)Value-added networkBarrelled spaceContext awarenessLimit (category theory)Server (computing)Phase transitionComputer programFunctional (mathematics)Interface (computing)Exception handling2 (number)Disk read-and-write headDrop (liquid)Forcing (mathematics)Lattice (order)Complete metric spaceVapor barrierDependent and independent variablesWeb pageAuthenticationPairwise comparisonDeclarative programmingFlow separationRule of inferenceType theoryNumberGroup actionComputer animation
Object (grammar)Ferry CorstenPresentation of a groupCausalityWebsiteEndliche ModelltheorieSummierbarkeitComputer fileTerm (mathematics)Product (business)Video gameInternet service providerDatabaseJava appletPhysical systemSoftware bugLevel (video gaming)Student's t-testRing (mathematics)Constructor (object-oriented programming)Musical ensembleFluid staticsMechanism designSemiconductor memoryGodGame theoryWeb pagePressureConnectivity (graph theory)Server (computing)Multiplication signStokes' theoremExecution unitForcing (mathematics)IdentifiabilityImplementationSoftware developerType theoryDivisorGoodness of fitAxiom of choiceMoment (mathematics)Message passingComa BerenicesContent (media)OrbitBenchmark9 (number)Standard deviationBlogMatching (graph theory)CodeMereologyPairwise comparisonElectronic mailing listFunctional (mathematics)FreewareCycle (graph theory)MeasurementCompilerWeb 2.0Instance (computer science)Limit (category theory)Real numberCASE <Informatik>Representational state transferQuery languageElectric generatorComputer animation
Euler anglesComputer animation
Transcript: English(auto-generated)