English
Related papers

Related papers: Security Protocol Review Method Analyzer(SPRMAN)

200 papers

We propose DAB -- a data-aware extension of BPMN where the process operates over case and persistent data (partitioned into a read-only database called catalog and a read-write database called repository). The model trades off between…

Logic in Computer Science · Computer Science 2019-06-25 Diego Calvanese , Silvio Ghilardi , Alessandro Gianola , Marco Montali , Andrey Rivkin

In the last few years, the Message Queueing Telemetry Transport (MQTT) publish/subscribe protocol emerged as the de facto standard communication protocol for IoT, M2M and wireless sensor networks applications. Such popularity is mainly due…

Networking and Internet Architecture · Computer Science 2018-10-02 Riccardo Giambona , Alessandro E. C. Redondi , Matteo Cesana

Skills have become a practical packaging mechanism for agent instructions, workflows, scripts, and reference materials. In enterprise settings, however, a skill often needs to express more than task guidance: goals, input boundaries,…

Software Engineering · Computer Science 2026-05-26 Ting Liu

The novel Internet of Things (IoT) paradigm is composed of a growing number of heterogeneous smart objects and services that are transforming architectures and applications, increasing systems' complexity, and the need for reliability and…

Cryptography and Security · Computer Science 2024-08-27 Marco Arazzi , Serena Nicolazzo , Antonino Nocera

Internet of Things (IoT) is one of the fastest emerging networking paradigms enabling a large number of applications for the benefit of mankind. Advancements in embedded system technology and compressed IPv6 have enabled the support of IP…

Networking and Internet Architecture · Computer Science 2023-03-02 Abhishek Verma , Virender Ranga

As Internet of Things (IoT) technologies become more widespread in everyday life, privacy issues are becoming more prominent. The aim of this research is to develop a personal assistant that can answer software engineers' questions about…

Cryptography and Security · Computer Science 2022-10-05 Lamya Alkhariji , Suparna De , Omer Rana , Charith Perera

We propose protocols for acquiring speech materials, making them reusable for future investigations, and presenting them for subjective experiments. We also provide means to evaluate existing speech materials' compatibility with target…

Audio and Speech Processing · Electrical Eng. & Systems 2024-10-01 Hideki Kawahara , Ken-Ichi Sakakibara , Mitsunori Mizumachi , Kohei Yatabe

Secure Remote Password (SRP) protocol is an essential password-authenticated key exchange (PAKE) protocol based on the discrete logarithm problem (DLP). The protocol is specifically designed to obtain a session key and it has been widely…

Cryptography and Security · Computer Science 2025-01-14 Huapeng Li , Baocheng Wang

Software services are crucial for reliable communication and networking; therefore, Site Reliability Engineering (SRE) is important to ensure these systems stay reliable and perform well in cloud-native environments. SRE leverages tools…

Networking and Internet Architecture · Computer Science 2025-11-12 Eranga Bandara , Safdar H. Bouk , Sachin Shetty , Ravi Mukkamala , Abdul Rahman , Peter Foytik , Ross Gore , Xueping Liang , Ng Wee Keong , Kasun De Zoysa

The purpose of this paper is to present a comprehensive budget conscious security plan for smaller enterprises that lack security guidelines.The authors believe this paper will assist users to write an individualized security plan. In…

Cryptography and Security · Computer Science 2015-12-02 Margie Todd , Shawon Rahman

Software developers face risks of leaking their software secrets, such as API keys or passwords, which can result in significant harm. Secret management tools (SMTs), such as HashiCorp Vault Secrets or Infisical, are highly recommended by…

Human-Computer Interaction · Computer Science 2025-09-12 Lorenzo Neil , Deepthi Mungara , Laurie Williams , Yasemin Acar , Bradley Reaves

Security patterns are a means to encapsulate and communicate proven security solutions. They are well-established approaches for introducing security into the software development process. Our objective is to explore the research efforts on…

Software Engineering · Computer Science 2018-12-03 Abbas Javan Jafari , Abbas Rasoolzadegan

Blockchain technology (BT) Ethereum Smart Contracts allows programmable transactions that involve the transfer of monetary assets among peers on a BT network independent of a central authorizing agency. Ethereum Smart Contracts are programs…

Cryptography and Security · Computer Science 2021-05-21 Noama Fatima Samreen , Manar H. Alalfi

The IEEE Audio Video Bridging (AVB) Task Group (TG) was created to provide Ethernet with soft real-time guarantees. Later on, the TG was renamed to Time-Sensitive Networking (TSN) and its scope broadened to support hard real-time and…

Networking and Internet Architecture · Computer Science 2020-08-11 Daniel Bujosa , Inés Álvarez , Julián Proenza

In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process. We argue that it is possible to build a formal link between concrete and abstract…

Cryptography and Security · Computer Science 2010-04-12 Nicolas Stouls , Marie-Laure Potet

The development of the SJ Framework for session-based distributed programming is part of recent and ongoing research into integrating session types and practical, real-world programming languages. SJ programs featuring session types…

Distributed, Parallel, and Cluster Computing · Computer Science 2011-10-20 Nuno Alves , Raymond Hu , Nobuko Yoshida , Pierre-Malo Deniélou

Small and medium enterprises (SMEs) are increasingly vulnerable to cyber threats due to limited resources and cybersecurity expertise, in addition to an increasingly hostile cyber threat environment at national and international levels.…

Cryptography and Security · Computer Science 2024-08-30 Miriam Curtin , Brian Sheehan , Melanie Gruben , Nikoletta Kozma , Gillian O'Carroll , Hazel Murray

Smart gadgets are being embedded almost in every aspect of our lives. From smart cities to smart watches, modern industries are increasingly supporting the Internet-of-Things (IoT). SysMART aims at making supermarkets smart, productive, and…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-07-15 Issam Damaj

Universal information extraction (UIE) primarily employs an extractive generation approach with large language models (LLMs), typically outputting structured information based on predefined schemas such as JSON or tables. UIE suffers from a…

Computation and Language · Computer Science 2025-06-03 Sheng Liang , Yongyue Zhang , Yaxiong Wu , Ruiming Tang , Yong Liu

Background: Collaborative Software Package Registries (SPRs) are an integral part of the software supply chain. Much engineering work synthesizes SPR package into applications. Prior research has examined SPRs for traditional software, such…

Software Engineering · Computer Science 2024-09-05 Jason Jones , Wenxin Jiang , Nicholas Synovic , George K. Thiruvathukal , James C. Davis
‹ Prev 1 4 5 6 7 8 10 Next ›