Publication | Closed Access

SDTIOA: Modeling the Timed Privacy Requirements of IoT Service Composition: A User Interaction Perspective for Automatic Transformation from BPEL to Timed Automata

EngineeringTimed Privacy RequirementsInformation SecurityFormal MethodsData PrivacySystems EngineeringPrivacy EngineeringComputer ScienceInternet Of ThingsIot SystemFormal VerificationTimed AutomataIot InteroperabilityData SecurityUser Interaction Perspective