English
Related papers

Related papers: Security for Distributed Web-Applications via Aspe…

200 papers

This paper proposes a framework based completely on Java technology. The advantages brought about by the use of Java in network management answer some critical problems existing in current systems. With this work we address several factors…

Networking and Internet Architecture · Computer Science 2010-12-21 Damianos Gavalas , Dominic Greenwood , Mohammed Ghanbari , Mike O'Mahony

Attestation means providing evidence that a remote target system is worthy of trust for some sensitive interaction. Although attestation is already used in network access control, security management, and trusted execution environments, it…

Cryptography and Security · Computer Science 2026-03-09 Will Thomas , Logan Schmalz , Adam Petz , Perry Alexander , Joshua D. Guttman , Paul D. Rowe , James Carter

We propose a certificate-based single sign-on mechanism in distributed systems. The proposed security protocols and authentication mechanisms are integrated in a middleware. The novelty of our middleware lies on the use of XPCOM components,…

Cryptography and Security · Computer Science 2009-09-10 Magyari Attila , Genge Bela , Haller Piroska

Authentication is a process by which an entity,which could be a person or intended computer,establishes its identity to another entity.In private and public computer networks including the Internet,authentication is commonly done through…

Cryptography and Security · Computer Science 2013-01-11 Maheswara Rao Valluri

Sun and the CERT recommend for secure Java development to not allow partially initialized objects to be accessed. The CERT considers the severity of the risks taken by not following this recommendation as high. The solution currently used…

Programming Languages · Computer Science 2010-11-22 Laurent Hubert , Thomas Jensen , Vincent Monfort , David Pichardie

Advances in software virtualization and network processing lead to increasing network softwarization. Software network elements running on commodity platforms replace or complement hardware components in cloud and mobile network…

Networking and Internet Architecture · Computer Science 2018-09-17 Nicolae Paladi , Linus Karlsson , Khalid Elbashir

To counter software reverse engineering or tampering, software obfuscation tools can be used. However, such tools to a large degree hard-code how the obfuscations are deployed. They hence lack resilience and stealth in the face of many…

Cryptography and Security · Computer Science 2020-12-24 Jens Van den Broeck , Bart Coppens , Bjorn De Sutter

Anonymous Single-Sign-On authentication schemes have been proposed to allow users to access a service protected by a verifier without revealing their identity which has become more important due to the introduction of strong privacy…

Cryptography and Security · Computer Science 2018-04-20 Jinguang Han , Liqun Chen , Steve Schneider , Helen Treharne , Stephan Wesemeyer

We propose a middleware framework for deployment and subsequent autonomic management of component-based distributed applications. An initial deployment goal is specified using a declarative constraint language, expressing constraints over…

Distributed, Parallel, and Cluster Computing · Computer Science 2010-06-25 Alan Dearle , Graham Kirby , Andrew McCarthy

Web applications are distributed applications, they are programs that run on more than one computer and communicate through a network or server. This very distributed nature of web applications, combined with the scale and sheer complexity…

Cryptography and Security · Computer Science 2022-10-17 Akash Nagaraj , Bishesh Sinha , Mukund Sood , Yash Mathur , Sanchika Gupta , Dinkar Sitaram

We present AIOCJ, a framework for programming distributed adaptive applications. Applications are programmed using AIOC, a choreographic language suited for expressing patterns of interaction from a global point of view. AIOC allows the…

Programming Languages · Computer Science 2014-07-11 Mila Dalla Preda , Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro , Maurizio Gabbrielli

The motivation behind this paper is to dissecting the secure network for Business to Business (B2B) application by Implementing Access Control List (ACL) and Service Level Agreement (SLA). This data provides the nature of attacks reported…

Cryptography and Security · Computer Science 2016-12-23 Abdul Ahad Abro , Safeeullah Soomro , Zainab Alansari , Mohammad Riyaz Belgaum , Abdul Baqi Khan Khakwani

Security issues are the most challenging problems in cloud computing environments as an emerging technology. Regarding to this importance, an efficient and reliable user authentication and data protection model has been presented in this…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-08-10 Mohammad Ahmadi , Mostafa Vali , Farez Moghaddam , Aida Hakemi , Kasra Madadipouya

As software becomes more complex and assumes an even greater role in our lives, formal verification is set to become the gold standard in securing software systems into the future, since it can guarantee the absence of errors and entire…

Human-Computer Interaction · Computer Science 2021-11-17 Carolina Carreira , João F. Ferreira , Alexandra Mendes , Nicolas Christin

Side-channel attacks are a major threat to the security of cryptosystems. Masking is a widely used countermeasure against such attacks, but proving the security of masked algorithms is error-prone without formal verification. In this work,…

Logic in Computer Science · Computer Science 2026-05-26 Satoshi Kura , Katsuyuki Takashima

The development in the area of wireless communication, mobile and embedded computing leads to significant changes in the application of devices. Over the last years, embedded devices were brought into the consumer area creating the Internet…

Cryptography and Security · Computer Science 2019-05-30 Simon Duque Anton , Daniel Fraunholz , Christoph Lipps , Khurshid Alam , Hans Dieter Schotten

Authentication and authorization are two tightly coupled and interrelated concepts which are used to keep transactions secure and help in protecting confidential information. This paper proposes to evaluate the current techniques used for…

Cryptography and Security · Computer Science 2011-04-22 K. Lakshmi Madhuri , T. R. Gopalakrishnan Nair

Over the past four decades, distributed security has undergone a remarkable transformation -- from crash-fault tolerant protocols designed for controlled environments to sophisticated Byzantine-resilient architectures operating in open,…

Cryptography and Security · Computer Science 2026-02-23 Minghui Xu

The emergence of various technologies has since pushed researchers to develop new protocols that support high density data transmissions in Wide Area Networks. Many of these protocols are TCP protocol variants, which have demonstrated…

Networking and Internet Architecture · Computer Science 2010-10-26 Danilo Valeros Bernardo , Doan B Hoang

Large language models are redefining software engineering by implementing AI-powered techniques throughout the whole software development process, including requirement gathering, software architecture, code generation, testing, and…

Software Engineering · Computer Science 2024-06-11 Malik Abdul Sami , Muhammad Waseem , Zeeshan Rasheed , Mika Saari , Kari Systä , Pekka Abrahamsson