UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods

Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.142-161

2015

Volltextzugriff (PDF)

A Control Flow Analysis for Beta-binders with and without static compartments

Theoretical computer science, 2009-08, Vol.410 (33), p.3110-3127

Bodei, Chiara

2009

Volltextzugriff (PDF)

Compliance in Behavioural Contracts: A Brief Survey

Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.103-121

2015

Volltextzugriff (PDF)

A static analysis for Brane Calculi providing global occurrence counting information

Theoretical computer science, 2017-10, Vol.696, p.11-51

2017

Volltextzugriff (PDF)

Alice and Bob: Reconciling Formal Models and Implementation

Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.66-85

2015

Volltextzugriff (PDF)

Authentication primitives for secure protocol specifications

Future generation computer systems, 2005-05, Vol.21 (5), p.645-653

2005

Volltextzugriff (PDF)

Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories

Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.238-261

2015

Volltextzugriff (PDF)

Static Evidences for Attack Reconstruction

Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.162-182

2015

Volltextzugriff (PDF)

Language Representability of Finite P/T Nets

Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.262-282

2015

Volltextzugriff (PDF)

Hoare Logic for Disjunctive Information Flow

Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.47-65

2015

Volltextzugriff (PDF)

From Safety Critical Java Programs to Timed Process Models

Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.319-338

2015

Volltextzugriff (PDF)

Asynchronous Traces and Open Petri Nets

Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.86-102

2015

Volltextzugriff (PDF)

Pierpaolo Degano

Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.1-6

2015

Volltextzugriff (PDF)

Active Knowledge, LuNA and Literacy for Oncoming Centuries

Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.292-303

2015

Volltextzugriff (PDF)

Distributed Authorization with Distributed Grammars

Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.10-26

2015

Volltextzugriff (PDF)

A Declarative View of Signaling Pathways

Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.183-201

2015

Volltextzugriff (PDF)

Flow logic for Dolev–Yao secrecy in cryptographic processes

Future generation computer systems, 2002-05, Vol.18 (6), p.747-756

2002

Volltextzugriff (PDF)

Securing Android with Local Policies

Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.202-218

2015

Volltextzugriff (PDF)

When to Move to Transfer Nets: On the Limits of Petri Nets as Models for Process Calculi

Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.339-353

2015

Volltextzugriff (PDF)

There are Two Sides to Every Question: Controller Versus Attacker

Programming Languages with Applications to Biology and Security, 2015, p.304-318

2015

Volltextzugriff (PDF)

Safe Adaptation Through Implicit Effect Coercion

Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.122-141

2015

Volltextzugriff (PDF)

Limited Disclosure and Locality in Graphs

Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.44-46

2015

Volltextzugriff (PDF)

Global Protocol Implementations via Attribute-Based Communication

Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.219-237

2015

Volltextzugriff (PDF)

Pierpaolo, a Great Friend

Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.7-9

2015

Volltextzugriff (PDF)

Soulmate Algorithms

Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.283-291

2015

Volltextzugriff (PDF)

1 – 25 von 130

Menü

Weitere Dienste

Einstellungen

Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods

A Control Flow Analysis for Beta-binders with and without static compartments

Compliance in Behavioural Contracts: A Brief Survey

A static analysis for Brane Calculi providing global occurrence counting information

Alice and Bob: Reconciling Formal Models and Implementation

Authentication primitives for secure protocol specifications

Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories

Static Evidences for Attack Reconstruction

Language Representability of Finite P/T Nets

Hoare Logic for Disjunctive Information Flow

From Safety Critical Java Programs to Timed Process Models

Asynchronous Traces and Open Petri Nets

Pierpaolo Degano

Active Knowledge, LuNA and Literacy for Oncoming Centuries

Distributed Authorization with Distributed Grammars

A Declarative View of Signaling Pathways

Flow logic for Dolev–Yao secrecy in cryptographic processes

Securing Android with Local Policies

When to Move to Transfer Nets: On the Limits of Petri Nets as Models for Process Calculi

There are Two Sides to Every Question: Controller Versus Attacker

Safe Adaptation Through Implicit Effect Coercion

Limited Disclosure and Locality in Graphs

Global Protocol Implementations via Attribute-Based Communication

Pierpaolo, a Great Friend

Soulmate Algorithms

Suchergebnisse filtern