中文
相关论文

相关论文: IVOA Recommendation: IVOA Credential Delegation Pr…

200 篇论文

We propose a capability-based access control method that leverages OAuth 2.0 and Verifiable Credentials (VCs) to share resources in crowdsourced drone services. VCs securely encode claims about entities, offering flexibility. However,…

密码学与安全 · 计算机科学 2025-05-05 Junaid Akram , Ali Anaissi , Awais Akram , Youcef Djenouri , Palash Ingle , Rutvij H. Jhaveri

We present "endpoints", a library that provides consistent client implementation, server implementation and documentation from a user-defined communication protocol description. The library provides type safe remote invocations, and is…

软件工程 · 计算机科学 2017-11-28 Julien Richard-Foy , Wojciech Pituła

Confidential Virtual Machines (CVMs) provide isolation guarantees for data in use, but their threat model does not include physical level protection and side-channel attacks. Therefore, current deployments rely on trusted cloud providers to…

密码学与安全 · 计算机科学 2025-06-19 Filip Rezabek , Jonathan Passerat-Palmbach , Moe Mahhouk , Frieder Erdmann , Andrew Miller

AI-assisted developer services are increasingly embedded in modern IDEs, yet enterprises must ensure these tools operate within existing identity, access control, and governance requirements. The Model Context Protocol (MCP) enables AI…

软件工程 · 计算机科学 2026-01-07 Manideep Reddy Chinthareddy

Internet of Things (IoT) and B3G/4G communication are promoting the pervasive mobile services with its advanced features. However, security problems are also baffled the development. This paper proposes a trust model to protect the user's…

分布式、并行与集群计算 · 计算机科学 2016-11-17 Yang Liu , Zhikui Chen , Feng Xia , Xiaoning Lv , Fanyu Bu

Session contracts is a formalism enabling to investigate client/server interaction protocols and to interpret session types. We extend session contracts in order to represent outputs whose actual sending in an interaction depends on a third…

计算机科学中的逻辑 · 计算机科学 2023-06-22 Franco Barbanera , Ugo de'Liguoro

Protocol narrations are widely used in security as semi-formal notations to specify conversations between roles. We define a translation from a protocol narration to the sequences of operations to be performed by each role. Unlike previous…

计算机科学中的逻辑 · 计算机科学 2009-10-28 Yannick Chevalier , Michael Rusinowitch

The specialty of desktop-as-a-service cloud computing is that user can access their desktop and can execute applications in virtual desktops on remote servers. Resource management and resource utilization are most significant in the area of…

分布式、并行与集群计算 · 计算机科学 2014-05-01 Gandhi Kishan Bipinchandra , Prof. Rajanikanth Aluvalu , Dr. Ajay Shanker Singh

On today's Internet, combining the end-to-end security of TLS with Content Delivery Networks (CDNs) while ensuring the authenticity of connections results in a challenging delegation problem. When CDN servers provide content, they have to…

密码学与安全 · 计算机科学 2020-11-19 Lukas Alber , Stefan More , Sebastian Ramacher

The Virtual Observatory Registry is a distributed directory of information systems and other resources relevant to astronomy. To make it useful, facilities to query that directory must be provided to humans and machines alike. This article…

天体物理仪器与方法 · 物理学 2015-02-05 Markus Demleitner , Paul Harrison , Mark Taylor , Jonathan Normand

Self-sovereign Identity promises to give users control of their own data, and has the potential to foster advancements in terms of personal data privacy. Self-sovereign concepts can also be applied to other entities, such as datasets and…

软件工程 · 计算机科学 2020-09-11 Iain Barclay , Maria Freytsis , Sherri Bucher , Swapna Radha , Alun Preece , Ian Taylor

With real-time certificate validation checking, a public-key-using system that needs to validate a certificate executes a transaction with a specialized validation party. At the end of the transaction the validation party returns an…

密码学与安全 · 计算机科学 2020-11-24 Diana Berbecaru , Antonio Lioy

Timely sharing of electronic health records (EHR) across providers is essential and significance in facilitating medical researches and prompt patients' care. With sharing, it is crucial that patients can control who can access their data…

密码学与安全 · 计算机科学 2022-03-25 Kheng-Leong Tan , Chi-Hung Chi , Kwok-Yan Lam

In this work, we leverage advances in decentralized identifiers and permissioned blockchains to build a flexible user authentication and authorization mechanism that offers enhanced privacy, achieves fast revocation, and supports…

密码学与安全 · 计算机科学 2019-11-14 Nikos Fotiou , Iakovos Pittaras , Vasilios A. Siris , George C. Polyzos

This article contributes to the design and the verification of trusted components and services. The contracts are declined at several levels to cover then different facets, such as component consistency, compatibility or correctness. The…

软件工程 · 计算机科学 2010-10-15 Mohamed Messabihi , Pascal André , Christian Attiogbé

This paper discusses that there is significant benefit in providing stronger security at lower layers of the network stack for hosts connected to a network. It claims to reduce the attack vulnerability of a networked host by providing…

网络与互联网体系结构 · 计算机科学 2008-12-18 Arun Kumar S P

Allocation of resources and their control over multiple organisations is challenging. This is especially true for a large-scale and dynamic system like the Internet of Things (IoT). One of the core issues in such a system is the provision…

分布式、并行与集群计算 · 计算机科学 2021-10-05 Shantanu Pal , Ambrose Hill , Tahiry Rabehaja , Michael Hitchens

Organizations use privacy policies to communicate their data collection practices to their clients. A privacy policy is a set of statements that specifies how an organization gathers, uses, discloses, and maintains a client's data. However,…

密码学与安全 · 计算机科学 2024-03-27 Maryam Majedi , Ken Barker

In "Grids" and "collaboratories," we find distributed communities of resource providers and resource consumers, within which often complex and dynamic policies govern who can use which resources for which purpose. We propose a new approach…

分布式、并行与集群计算 · 计算机科学 2007-05-23 Laura Pearlman , Von Welch , Ian Foster , Carl Kesselman , Steven Tuecke

Next generation mobile networks are poised to transition from monolithic structures owned and operated by single mobile network operators into multi-stakeholder networks where various parties contribute with infrastructure, resources, and…

网络与互联网体系结构 · 计算机科学 2025-03-04 Sandro Rodriguez Garzon , Hai Dinh Tuan , Maria Mora Martinez , Axel Küpper , Hans Joachim Einsiedler , Daniela Schneider
‹ 上一页 1 8 9 10 下一页 ›