The following pages link to Hanne Riis Nielson (Q492909):
Displaying 50 items.
- A calculus of quality for robustness against unreliable communication (Q492911) (← links)
- Content dependent information flow control (Q511927) (← links)
- \textsf{CaPiTo}: Protocol stacks for services (Q640297) (← links)
- From CML to its process algebra (Q672132) (← links)
- Functional completeness of the mixed \(\lambda\)-calculus and combinatory logic (Q750415) (← links)
- Semantics with applications: an appetizer. (Q884946) (← links)
- Pathway analysis for BioAmbients (Q953532) (← links)
- From flow logic to static type systems for coordination languages (Q967521) (← links)
- Computation sequences: A way to characterize classes of attribute grammars (Q1051438) (← links)
- A Hoare-like proof system for analysing the computation time of programs (Q1091122) (← links)
- Two-level semantics and code generation (Q1095636) (← links)
- The tensor product in Wadler's analysis of lists (Q1330441) (← links)
- Abstract interpretation of mobile ambients. (Q1398673) (← links)
- Validating firewalls using flow logics (Q1603656) (← links)
- A parametric abstract domain for lattice-valued regular expressions (Q1664397) (← links)
- A monotone framework for CCS (Q1749243) (← links)
- Strictness and totality analysis (Q1818314) (← links)
- Static analysis for the \(\pi\)-calculus with applications to security (Q1854437) (← links)
- Behavior analysis for validating communication patterns (Q1856180) (← links)
- Benign interaction of security domains (Q2154018) (← links)
- Factorization of behavioral integrity (Q2165462) (← links)
- Static analysis of topology-dependent broadcast networks (Q2266988) (← links)
- Secure information release in timed automata (Q2324192) (← links)
- What is a free name in a process algebra? (Q2379969) (← links)
- (Q2729057) (← links)
- (Q2748155) (← links)
- Enforcing Availability in Failure-Aware Communicating Systems (Q2827467) (← links)
- Cryptographic Analysis in Cubic Time (Q2841271) (← links)
- Safety versus Security in the Quality Calculus (Q2842642) (← links)
- (Q2848486) (← links)
- XACML 3.0 in Answer Set Programming (Q2848900) (← links)
- (Q2849853) (← links)
- Heuristics for Safety and Security Constraints (Q2864162) (← links)
- Active Evaluation Contexts for Reaction Semantics (Q2866316) (← links)
- Flow Logic for Process Calculi (Q2875077) (← links)
- Discretionary Information Flow Control for Interaction-Oriented Specifications (Q2945719) (← links)
- Modal abstractions of concurrent behavior (Q2946636) (← links)
- Discovering, quantifying, and displaying attacks (Q2974789) (← links)
- (Q2980974) (← links)
- Secure Guarded Commands (Q3297842) (← links)
- (Q3431409) (← links)
- Hoare Logic for Disjunctive Information Flow (Q3460862) (← links)
- Relational Analysis of Correlation (Q3522059) (← links)
- Modal Abstractions of Concurrent Behaviour (Q3522068) (← links)
- Analyzing Security Protocols in Hierarchical Networks (Q3522926) (← links)
- Topology-Dependent Abstractions of Broadcast Networks (Q3525640) (← links)
- Model Checking Is Static Analysis of Modal Logic (Q3557851) (← links)
- Types from Control Flow Analysis (Q3593079) (← links)
- Data Flow Analysis for CCS (Q3593080) (← links)
- Two-Level Functional Languages (Q4023587) (← links)
