Transport services within the IoT ecosystem using localisation parameters

Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3

“…If a variable has the same identifier as its type, a declaration variable:type may be suppressed to a single identifier, as in the example. At the end, servers (l. [26][27][28] and agents (l. [29][30] are initialized (and variable names are bound with formal parameters of servers). The LTS of the example system is presented in Fig.…”

“…Petri net static analysis allows to locate the two possible deadlocks in specification. Such an approach of cooperation of distributed controllers by means of simple negotiation protocols follows the IoT paradigm [26].…”

Προσαρμοστική Διαχείριση Ασφάλειας Βάσει Πολιτικών

“…changing conditions, user/object attributes) [218]. For instance, in the case of Intelligent Transportation Services and in the need of coordinating the demand-response of the vehicle charging stations information, the distribution network needs to provide responsive, reliable, low latency and real-time communication services with localized control [219]. The entities can be authenticated according to their attributes (e.g.…”

“…The access control functionalities of the ASPIDA are depicted through a use-case. In more detail, the intelligent Bus on Campus (iBuC) prototype [219] offers a state-of-the-art transportation service within a university campus supporting multiple AVs and smart devices, also supported by the existing wireless infrastructure and M2M services. The security policies and the workflows for iBuC are further analysed in [222] where the iBuC service requests are forwarded via a booking application to the control unit (CU).…”