Proving Properties of Rich Internet Applications [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013We introduce application layer specifications, which allow us to reason about the state and transactions of rich Internet applications. We define variants of the state/event based logic UCTL* along with two example applications to demonstrate this ...
James Smith
doaj +5 more sources
Multi-Layer Blockchain-Based Security Architecture for Internet of Things [PDF]
Italian National Conference on Sensors, 2021The proliferation of smart devices in the Internet of Things (IoT) networks creates significant security challenges for the communications between such devices.
Houshyar Honar Pajooh+3 more
openalex +2 more sources
Assessing risks and threats with layered approach to Internet of Things security [PDF]
Measurement + Control, 2019Internet of Things is the next-generation Internet network created by intelligent objects with software and sensors, employed in a wide range of fields such as automotive, construction, health, textile, education and transportation.
Murat Aydos, Yılmaz Vural, Adem Tekerek
doaj +2 more sources
A Survey of Secure Communications for Satellite Internet Based on Cryptography and Physical Layer Security [PDF]
IET Information Security, 2023Satellite internet serves as an indispensable component of the upcoming sixth-generation networks for providing global broadband internet access service.
Yu Zhang+5 more
doaj +2 more sources
Physical Layer Security for the Internet of Things: Authentication and Key Generation [PDF]
IEEE wireless communications, 2019A low-complexity, yet secure framework is proposed for protecting the IoT and for achieving both authentication and secure communication. In particular, the slight random difference among transceivers is extracted for creating a unique radio frequency ...
Junqing Zhang+4 more
openalex +2 more sources
Cross-layer QoS Support for Multimedia Delivery over Wireless Internet
EURASIP Journal on Advances in Signal Processing, 2005Delivering multimedia over wireless Internet is a very challenging task. Multimedia delivery inherently has strict quality of service (QoS) requirement on bandwidth, delay, and delay jitter.
Zhang Qian, Yang Fan, Zhu Wenwu
doaj +2 more sources
De-Ossifying the Internet Transport Layer: A Survey and Future Perspectives [PDF]
IEEE Communications Surveys and Tutorials, 2017It is widely recognized that the Internet transport layer has become ossified, where further evolution has become hard or even impossible. This is a direct consequence of the ubiquitous deployment of middleboxes that hamper the deployment of new ...
Giorgos Papastergiou+10 more
semanticscholar +3 more sources
Securing Wireless Communications of the Internet of Things from the Physical Layer, An Overview [PDF]
Entropy, 2017The security of the Internet of Things (IoT) is receiving considerable interest as the low power constraints and complexity features of many IoT devices are limiting the use of conventional cryptographic techniques. This article provides an overview of recent research efforts on alternative approaches for securing IoT wireless communications at the ...
Junqing Zhang+3 more
arxiv +3 more sources
Xaminer: An Internet Cross-Layer Resilience Analysis Tool [PDF]
arXivA resilient Internet infrastructure is critical in our highly interconnected society. However, the Internet faces several vulnerabilities, ranging from natural disasters to human activities, that can impact the physical layer and, in turn, the higher network layers, such as IP links.
Alagappan Ramanathan+2 more
arxiv +3 more sources
MAC Layer Protocols for Internet of Things: A Survey
Future Internet, 2019Due to the wide variety of uses and the diversity of features required to meet an application, Internet of Things (IoT) technologies are moving forward at a strong pace to meet this demand while at the same time trying to meet the time-to-market of these
Luiz Oliveira+4 more
doaj +2 more sources