Networking and Internet Architecture · Computer Science
Beyond Certificates: 6G-ready Access Control for the Service-Based Architecture with Decentralized Identifiers and Verifiable Credentials
Sandro Rodriguez Garzon, Hai Dinh Tuan, Maria Mora Martinez, Axel Küpper +2
2025-03-04
Robotics · Computer Science
Dynamic Certification for Autonomous Systems
Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu
2023-04-27
Networking and Internet Architecture · Computer Science
CAPODAZ: A Containerised Authorisation and Policy-driven Architecture using Microservices
Dimitrios Kallergis, Zacharenia Garofalaki, Georgios Katsikogiannis, Christos Douligeris
2020-05-01
Distributed, Parallel, and Cluster Computing · Computer Science
Mapping Cloud Computing onto Useful e-Governance
Ajay Prasad, Sandeep Chaurasia, Arjun Singh, Deepak Gour
2010-09-14
Distributed, Parallel, and Cluster Computing · Computer Science
A Community Authorization Service for Group Collaboration
Laura Pearlman, Von Welch, Ian Foster, Carl Kesselman +1
2007-05-23
Machine Learning · Computer Science
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning
Yixuan Wang, Simon Zhan, Zhilu Wang, Chao Huang +3
2023-03-22
Machine Learning · Computer Science
Rethinking Certification for Trustworthy Machine Learning-Based Applications
Marco Anisetti, Claudio A. Ardagna, Nicola Bena, Ernesto Damiani
2023-10-24
Logic in Computer Science · Computer Science
Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities (Extended Version)
Michele Barletta, Silvio Ranise, Luca Viganò
2012-06-15
Distributed, Parallel, and Cluster Computing · Computer Science
A Mediated Definite Delegation Model allowing for Certified Grid Job Submission
Steffen Schreiner, Latchezar Betev, Costin Grigoras, Maarten Litmaath
2011-12-13
Cryptography and Security · Computer Science
Multi-party authorization and conflict mediation for decentralized configuration management processes
Holger Kinkelin, Heiko Niedermayer, Marc Müller, Georg Carle
2019-03-20
Systems and Control · Electrical Eng. & Systems
Distributed Model Predictive Safety Certification for Learning-based Control
Simon Muntwiler, Kim P. Wabersich, Andrea Carron, Melanie N. Zeilinger
2021-10-01
Distributed, Parallel, and Cluster Computing · Computer Science
GridBank: A Grid Accounting Services Architecture (GASA) for Distributed Systems Sharing and Integration
Alexander Barmouta Rajkumar Buyya
2007-05-23
Cryptography and Security · Computer Science
An Enhanced Online Certificate Status Protocol for Public Key Infrastructure with Smart Grid and Energy Storage System
Hong-Sheng Huang, Cheng-Che Chuang, Jhih-Zen Shih, Hsuan-Tung Chen +1
2024-12-03
Cryptography and Security · Computer Science
Hybrid Online Certificate Status Protocol with Certificate Revocation List for Smart Grid Public Key Infrastructure
Hong-Sheng Huang, Zhe-Yi Jiang, Hsuan-Tung Chen, Hung-Min Sun
2024-12-03
Cryptography and Security · Computer Science
Security for Grid Services
Von Welch, Frank Siebenlist, Ian Foster, John Bresnahan +6
2007-05-23
Software Engineering · Computer Science
Formal Modelling of a Usable Identity Management Solution for Virtual Organisations
Ali N. Haidar, P. V. Coveney, Ali E. Abdallah, P. Y. A Ryan +3
2010-01-29
Distributed, Parallel, and Cluster Computing · Computer Science
Certify the Uncertified: Towards Assessment of Virtualization for Mixed-criticality in the Automotive Domain
Marcello Cinque, Luigi De Simone, Andrea Marchetta
2022-05-26
Software Engineering · Computer Science
Shared Services Center for E-Government Policy
Flavio Corradini, Lucio Forastieri, Alberto Polzonetti, Oliviero Riganelli +1
2018-02-23