English
Related papers

Related papers: Designing and implementing the logical security fr…

200 papers

As e-commerce rapidly integrates artificial intelligence for content creation and product recommendations, these technologies offer significant benefits in personalization and efficiency. AI-driven systems automate product descriptions,…

Computers and Society · Computer Science 2025-06-24 Aditi Madhusudan Jain , Ayush Jain

In some areas of management and commerce, especially in Electronic commerce (E-commerce), that are accelerated by advances in Web technologies, it is essential to support the decision making process using formal methods. Among the problems…

Logic in Computer Science · Computer Science 2007-05-23 Denis V. Popel , Nawar Al-Hakeem

Recently efficient model-checking tools have been developed to find flaws in security protocols specifications. These flaws can be interpreted as potential attacks scenarios but the feasability of these scenarios need to be confirmed at the…

Cryptography and Security · Computer Science 2013-08-01 Hatem Ghabri , Ghazi Maatoug , Michael Rusinowitch

Web agents have shown great promise in performing many tasks on ecommerce website. To assess their capabilities, several benchmarks have been introduced. However, current benchmarks in the e-commerce domain face two major problems. First,…

Computation and Language · Computer Science 2026-04-22 Xianren Zhang , Shreyas Prasad , Di Wang , Qiuhai Zeng , Suhang Wang , Wenbo Yan , Mat Hans

Information protection is becoming a focal point for designing, creating and implementing software applications within highly integrated technology environments. The use of a safe coding technique in the software development process is…

Software Engineering · Computer Science 2020-12-11 Isaac Chin Eian , Lim Ka Yong , Majesty Yeap Xiao Li , Noor Affan Bin Noor Hasmaddi , Fatima-tuz-Zahra

In today's globally networked environment, information security incidents can inflict staggering financial losses on organizations. Industry reports indicate that fundamental problems exist with the application of current linear plan-driven…

Cryptography and Security · Computer Science 2014-08-12 George Grispos , William Bradley Glisson , Tim Storer

LogicWeb mobile code consists of Prolog-like rules embedded in Web pages, thereby adding logic programming behaviour to those pages. Since LogicWeb programs are downloaded from foreign hosts and executed locally, there is a need to protect…

Programming Languages · Computer Science 2007-05-23 Seng Wai Loke , Andrew Davison

This paper reports on an incremental method that allows adding security mechanisms to an existing, but insecure system, such as a prototype or a legacy system. The incremental method is presented and as a showcase its application is…

Software Engineering · Computer Science 2014-09-24 David Bettencourt da Cruz , Bernhard Rumpe , Guido Wimmel

Cybersecurity attacks are a major and increasing burden to economic and social systems globally. Here we analyze the principles of security in different domains and demonstrate an architectural flaw in current cybersecurity. Cybersecurity…

Cryptography and Security · Computer Science 2013-03-13 Blake C. Stacey , Yaneer Bar-Yam

Microservice architectures are revolutionizing both small businesses and large corporations, igniting a new era of innovation with their exceptional advantages in maintainability, reusability, and scalability. However, these benefits come…

Cryptography and Security · Computer Science 2024-08-09 Raveen Kanishka Jayalath , Hussain Ahmad , Diksha Goel , Muhammad Shuja Syed , Faheem Ullah

Due to popularization of internet and e-commerce, more and more people getting involved in online shopping market. A large number of companies have been transferred to the internet where online customers have been increased due to easy…

Cryptography and Security · Computer Science 2024-06-25 Siddiqui Muhammad Yasir , Alam Gir , Jenny Lundberg

In IoT-based critical sectors, 5G can provide more rapid connection speeds, lower latency, faster downloads, and capability to connect more devices due to the introduction of new dynamics such as softwarization and virtualization.…

Cryptography and Security · Computer Science 2024-06-06 Habtamu Abie , Sandeep Pirbhulal

This paper focuses on a tension we discovered in the philosophical part of our multidisciplinary project on values in web-browser security. Our project draws on the methods and perspectives of empirical social science, computer science, and…

Computers and Society · Computer Science 2007-05-23 Helen Nissenbaum , Batya Friedman , Edward Felten

Cybersecurity is an inherent characteristic that should be addressed before the large deployment of smart city applications. Recently, Blockchain appears as a promising technology to provide several cybersecurity aspects of smart city…

Cryptography and Security · Computer Science 2022-06-07 Omar Cheikhrouhou , Ichrak Amdouni , Khaleel Mershad , Maryem Ammi , Tuan Nguyen Gia

In this big data era, it is hard for the current generation to find the right data from the huge amount of data contained within online platforms. In such a situation, there is a need for an information filtering system that might help them…

Hybrid systems are integrations of discrete computation and continuous physical evolution. The physical components of such systems introduce safety requirements, the achievement of which asks for the correct monitoring and control from the…

Logic in Computer Science · Computer Science 2014-03-28 Shuling Wang , Flemming Nielson , Hanne Riis Nielson

Internet of things (IoT) is the epitome of sustainable development. It has facilitated the development of smart systems, industrialization, and the state-of-the-art quality of life. IoT architecture is one of the essential baselines of…

Cryptography and Security · Computer Science 2021-01-11 A K M Bahalul Haque , Sonia Tasmin

Blockchain is an incipient technology that offers many strengths compared to traditional systems, such as decentralization, transparency and traceability. However, if the technology is to be used for processing personal data, complementary…

Software Engineering · Computer Science 2020-10-27 Fernanda Molina , Gustavo Betarte , Carlos Luna

The emergence of intelligent, connected vehicles, containing complex functionality has potential to greatly benefit society by improving safety, security and efficiency of vehicular transportation. Much of this has been enabled by…

Cryptography and Security · Computer Science 2020-04-23 Fahad Siddiqui , Matthew Hagan , Sakir Sezer

Smart contracts are appealing because they are self-executing business agreements between parties with the predefined and immutable obligations and rights. However, as with all software, smart contracts may contain vulnerabilities because…

Software Engineering · Computer Science 2019-12-10 Weifeng Xu , Glenn A. Fink