中文
相关论文

相关论文: Security for Distributed Web-Applications via Aspe…

200 篇论文

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…

网络与互联网体系结构 · 计算机科学 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…

密码学与安全 · 计算机科学 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,…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

编程语言 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

编程语言 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

人机交互 · 计算机科学 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,…

计算机科学中的逻辑 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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,…

密码学与安全 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

软件工程 · 计算机科学 2024-06-11 Malik Abdul Sami , Muhammad Waseem , Zeeshan Rasheed , Mika Saari , Kari Systä , Pekka Abrahamsson