2016 IEEE International Symposium on Signal Processing and Information Technology (ISSPIT) 2016
DOI: 10.1109/isspit.2016.7886014
|View full text |Cite
|
Sign up to set email alerts
|

Transport services within the IoT ecosystem using localisation parameters

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
4
0

Year Published

2017
2017
2021
2021

Publication Types

Select...
5
2

Relationship

0
7

Authors

Journals

citations
Cited by 9 publications
(4 citation statements)
references
References 16 publications
0
4
0
Order By: Relevance
“…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.…”
Section: Simple Example -Buffermentioning
confidence: 99%
See 1 more Smart Citation
“…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.…”
Section: Simple Example -Buffermentioning
confidence: 99%
“…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].…”
Section: Conclusion and Further Workmentioning
confidence: 99%
“…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.…”
Section: M2m Authorisationsmentioning
confidence: 99%
“…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).…”
Section: Access Control Analysismentioning
confidence: 99%