ARCADIS: Asynchronous Remote Control-Flow Attestation of Distributed IoT Services.
Ragnar Mikael HalldórssonEdlira DushkuNicola DragoniPublished in: IEEE Access (2021)
Keyphrases
- control flow
- data flow
- computing environments
- ubiquitous computing
- location information
- cooperative
- distributed environment
- process model
- web services
- business process models
- wide area network
- mobile agents
- mobile computing
- workflow management systems
- multi agent
- context aware
- distributed systems
- modeling language
- software testing
- real world
- transition systems
- business processes
- data management
- decision trees
- remote sites
- trusted computing
- memory hierarchy