?
. Resource and timing aspects of security protocols.
Ch. 29(3). P. 299–340.
Urquiza A. A., AlTurki M. A., Kirigin T. B., Kanovich M., Nigam V., Scedrov A., Talcott C.
Cham: Springer, 2024.
This multi-volume set, LNAI 14941 to LNAI 14950, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2024, held in Vilnius, Lithuania, in September 2024. ...
Added: November 22, 2024
Springer, 2022.
This volume constitutes selected papers from the Second International Conference on Information Systems and Design, ICID 2021, held as virtual event in September 2021.
The 24 full papers and 4 short papers presented were thoroughly reviewed and selected from 51 submissions. They are organized in topical sections on digital transformation of enterprises based on analysis and management ...
Added: February 16, 2022
AlTurki M. A., Kirigin T. B., Kanovich M. et al., , in: Proceedings of the 7th International Conference on Information Systems Security and Privacy - ICISSP, 2021.: SciTePress, 2021. P. 43–54.
Abstract: Development of automated technological systems has seen the increase in interconnectivity among its components. This includes Internet of Things (IoT) and Industry 4.0 (I4.0) and the underlying communication between sensors and controllers. This paper is a step toward a formal framework for specifying such systems and analyzing underlying properties including safety and security. We ...
Added: October 18, 2021
SciTePress, 2021.
The International Conference on Information Systems Security and Privacy provides a meeting point for researchers and practitioners, addressing the security and privacy challenges of information systems from both technological and social perspectives. The conference welcomes papers of either practical or theoretical nature, and is interested in research or applications addressing all aspects of security and privacy, ...
Added: October 18, 2021
Romashkova I., Komarov M. M., Ometov A., IEEE Access 2021 No. 9 P. 129264–129277
One of the most promising enablers for the secure distributed operation of the Internet of Things (IoT) systems could be based on a mathematical construct widely known as blockchain that aims to neglect the system’s centralization and scalability properties. This paper aims to map the requirements and features of both systems, highlight the main co-existence ...
Added: September 26, 2021
Switzerland: Springer, 2020.
This book constitutes the joint refereed proceedings of the 20th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems, NEW2AN 2020, and the 13th Conference on Internet of Things and Smart Spaces, ruSMART 2020. The conference was held virtually due to the COVID-19 pandemic.
The 79 revised full papers presented were carefully reviewed ...
Added: December 23, 2020
Cham: Springer, 2020.
This Festschrift is in honor of Prof. Andre Scedrov at the University of Pennsylvania. Scedrov has laid the foundations for a number of now well-established domains in mathematics and computer science including Proof Theory, Logic in Computer Science, Foundations in Computer Security, and Linguistics.
This combination of breadth and penetrating originality is rare and impressive. This ...
Added: November 25, 2020
Artem S. Kabanov, Yury I. Gudkov, Vladimir N. Azarov, , in: Proceedings of the 2019 IEEE International Conference "Quality Management, Transport and Information Security, Information Technologies" (IT&QM&IS).: IEEE, 2019. P. 132–135.
The article deals with the problems of ensuring functional, informational and cyber security for vehicles and transport infrastructure facilities. The analysis of the factors causing the growth of threats to the transport sector has been carried out, the list of typical cyber attacks on the components of the transport infrastructure is given. The results of ...
Added: December 18, 2019
Kanovich M., Scedrov A., AlTurki M. A. et al., , in: Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows. Lecture Notes in Computer Science 11565, Springer 2019, ISBN 978-3-030-19051-4.: Netherlands: Springer, 2019. P. 192–213.
Catherine Meadows has played an important role in the advancement of formal methods for protocol security verification. Her insights on the use of, for example, narrowing and rewriting logic has made possible the automated discovery of new attacks and the shaping of new protocols. Meadows has also investigated other security aspects, such as, distance-bounding protocols ...
Added: November 2, 2019
Netherlands: Springer, 2019.
Catherine Meadows has played an important role in the advancement of formal methods for protocol security verification. Her insights on the use of, for example, narrowing and rewriting logic has made possible the automated discovery of new attacks and the shaping of new protocols. Meadows has also investigated other security aspects, such as, distance-bounding protocols ...
Added: November 2, 2019
Kanovich M., Scedrov A., Urquiza A. A. et al., , in: 32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019. IEEE 2019, ISBN 978-1-7281-1407-1.: IEEE, 2019. P. 382–396.
Denial of Service (DoS) attacks have been a serious security concern, as no service is, in principle, protected against them. Although a Dolev-Yao intruder with unlimited resources can trivially render any service unavailable, DoS attacks do not necessarily have to be carried out by such (extremely) powerful intruders. It is useful in practice and more ...
Added: November 1, 2019
IEEE, 2019.
Denial of Service (DoS) attacks have been a serious security concern, as no service is, in principle, protected against them. Although a Dolev-Yao intruder with unlimited resources can trivially render any service unavailable, DoS attacks do not necessarily have to be carried out by such (extremely) powerful intruders. It is useful in practice and more ...
Added: November 1, 2019