This research aims to introduce concepts, analyze and identify how the fields of public security traditional communities are currently interrelated with Human Ecology in what concerns scientific productivity. The methodological approach used is systematic literary research, content analysis by Bardin, bibliometric articles published journals between January 1, 2011 December 31, 2021 whose keywo...

Internet of Things (IoT) is a network of physical objects connected to internet. Physical objects embedded with RFID, sensor and so on which allows object to communicate with each other. The physical objects are provided with unique identifier. Since the IoT is highly heterogeneous, security is a big challenge in IoT. In this paper we analyzed the various security requirements and challenges in...

In order to study security systems, we have developed a methodology for application of formal analysis techniques commonly used in communication protocols to the analysis of cryptographic protocols. In particular, we have extended the design and analysis phases of protocol design with security properties. Our proposal uses a specification notation based on HMSC/MSC, which can be automatically t...