Publication | Closed Access

An operational model and language support for securing XML documents

Xml LibraryXml LanguageEngineeringInformation SecurityXml SecurityFormal MethodsSoftware EngineeringComputer ScienceLanguage-based SecurityFormal VerificationOperational ModelSoftware AnalysisSystem SoftwareSoftware DesignData SecurityCryptographyModel-driven Security