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
57
Citations
22
References
2021
Year
EngineeringTimed Privacy RequirementsInformation SecurityFormal MethodsData PrivacySystems EngineeringPrivacy EngineeringComputer ScienceInternet Of ThingsIot SystemFormal VerificationTimed AutomataIot InteroperabilityData SecurityUser Interaction Perspective
| Year | Citations | |
|---|---|---|
Page 1
Page 1