Combining behavioural types with security analysis (Q890614): Difference between revisions

@@ Property / cites work @@
+Q4986741
@@ Property / cites work: Q4986741 / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Agreements and Protection
@@ Property / cites work: A Theory of Agreements and Protection / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling and Verifying Contract-Oriented Systems in Maude
+Normal rank
@@ Property / cites work @@
+Contract-Oriented Computing in CO2
@@ Property / cites work: Contract-Oriented Computing in CO2 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Realizability of Contracts in Dishonest Systems
+Normal rank
@@ Property / cites work @@
+Global Progress in Dynamically Interleaved Multiparty Sessions
+Normal rank
@@ Property / cites work @@
+A Theory of Design-by-Contract for Distributed Multiparty Interactions
+Normal rank
@@ Property / cites work @@
+Correspondence assertions for process synchronization in concurrent communications
+Normal rank
@@ Property / cites work @@
+Verifying persistent security properties
@@ Property / cites work: Verifying persistent security properties / rank @@
+Normal rank
@@ Property / cites work @@
+Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
+Normal rank
@@ Property / cites work @@
+Session Types as Intuitionistic Linear Propositions
+Normal rank
@@ Property / cites work @@
+Typing access control and secure information flow in sessions
+Normal rank
@@ Property / cites work @@
+Session Types for Access and Information Flow Control
+Normal rank
@@ Property / cites work @@
+Trustworthy Global Computing
@@ Property / cites work: Trustworthy Global Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty Session Types Meet Communicating Automata
+Normal rank
@@ Property / cites work @@
+Certification of programs for secure information flow
+Normal rank
@@ Property / cites work @@
+Objects and session types
@@ Property / cites work: Objects and session types / rank @@
+Normal rank
@@ Property / cites work @@
+Types for Role-Based Access Control of Dynamic Web Data
+Normal rank
@@ Property / cites work @@
+Security Types for Dynamic Web Data
@@ Property / cites work: Security Types for Dynamic Web Data / rank @@
+Normal rank
@@ Property / cites work @@
+Security types for dynamic web data
@@ Property / cites work: Security types for dynamic web data / rank @@
+Normal rank
@@ Property / cites work @@
+Gradual Typing for Annotated Type Systems
@@ Property / cites work: Gradual Typing for Annotated Type Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of security analysis and design. Tutorial lectures
+Normal rank
@@ Property / cites work @@
+Modelling dynamic web data
@@ Property / cites work: Modelling dynamic web data / rank @@
+Normal rank
@@ Property / cites work @@
+Subtyping for session types in the pi calculus
@@ Property / cites work: Subtyping for session types in the pi calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Typing correspondence assertions for communication protocols
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic typing: Syntax and proof theory
@@ Property / cites work: Dynamic typing: Syntax and proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+The security pi-calculus and non-interference
@@ Property / cites work: The security pi-calculus and non-interference / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518881
@@ Property / cites work: Q4518881 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+The Orc Programming Language
@@ Property / cites work: The Orc Programming Language / rank @@
+Normal rank
@@ Property / cites work @@
+A type system for lock-free processes
@@ Property / cites work: A type system for lock-free processes / rank @@
+Normal rank
@@ Property / cites work @@
+Type-based information flow analysis for the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Regulating Data Exchange in Service Oriented Applications
+Normal rank
@@ Property / cites work @@
+Deadlock and lock freedom in the linear π-calculus
+Normal rank
@@ Property / cites work @@
+Linear logical relations and observational equivalences for session-based concurrency
+Normal rank
@@ Property / cites work @@
+Proof-Carrying Code in a Session-Typed Process Calculus
+Normal rank
@@ Property / cites work @@
+Secure Enforcement for Global Process Specifications
+Normal rank
@@ Property / cites work @@
+Secure distributed programming with value-dependent types
+Normal rank
@@ Property / cites work @@
+Session Types with Gradual Typing
@@ Property / cites work: Session Types with Gradual Typing / rank @@
+Normal rank
@@ Property / cites work @@
+Stateful Contracts for Affine Types
@@ Property / cites work: Stateful Contracts for Affine Types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3413374
@@ Property / cites work: Q3413374 / rank @@
+Normal rank
@@ Property / cites work @@
+Type checking a multithreaded functional language with session types
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank