Skip to content
<title>Channels - Design and Implementation of a Zero Trust Access Control Model Driven by Session Lifecycle :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Design and Implementation of a Zero Trust Access Control Model Driven by Session Lifecycle
Search for more channels:
Similar Items: Design and Implementation of a Zero Trust Access Control Model Driven by Session Lifecycle
Channel Options
View Record
Explore related channels
Quick Look
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
Quick Look
A model-driven approach to ensure trust in the IoT
Quick Look
Affine Sessions
Quick Look
Multiparty Session Actors
Quick Look
On Sessions and Infinite Data
Quick Look
Timed Session Types
Quick Look
Separating Sessions Smoothly
Quick Look
Using higher-order contracts to model session types
Quick Look
Parameterised Multiparty Session Types
Quick Look
Globally Governed Session Semantics
Quick Look
Modular session types for objects
Quick Look
On the Preciseness of Subtyping in Session Types
Quick Look
Fair Asynchronous Session Subtyping
Quick Look
Integrating COBIT 2019 with Zero Trust Architecture: A Strategic Approach to GRC in Cybersecurity
Quick Look
On Global Types and Multi-Party Session
Quick Look
Retractability, games and orchestrators for session contracts
Quick Look
Relating Functional and Imperative Session Types
Quick Look
Deconfined Global Types for Asynchronous Sessions
Quick Look
Implementing True MPI Sessions and Evaluating MPI Initialization Scalability
Quick Look
FTMPST: Fault-Tolerant Multiparty Session Types
Quick Look
Checkpoint-based rollback recovery in session programming
Quick Look
Model Checking Vector Addition Systems with one zero-test
Quick Look
Rast: A Language for Resource-Aware Session Types
Quick Look
Crash-Stop Failures in Asynchronous Multiparty Session Types
Load more items
View Record
Prev
Explore related channels
Next
