Statistical Model Checking of Ad Hoc Routing Protocols in Lossy Grid Networks von Dal Corso, Alice, Macedonio, Damiano, Merro, Massimo

Volltext

A semantic analysis of key management protocols for wireless sensor networks von Macedonio, Damiano, Merro, Massimo

Volltext

Static Identification of Injection Attacks in Java von Spoto, Fausto, Burato, Elisa, Ernst, Michael D., Ferrara, Pietro, Lovato, Alberto, Macedonio, Damiano, Spiridon, Ciprian

Volltext

A Hybrid Intuitionistic Logic: Semantics and Decidability von Chadha, Rohit, Macedonio, Damiano, Sassone, Vladimiro

Volltext

Semantics for Locking Specifications von Ernst, Michael D., Macedonio, Damiano, Merro, Massimo, Spoto, Fausto

Volltext

Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks von Battisti, Luca, Macedonio, Damiano, Merro, Massimo

Volltext

Spatial Logics for Bigraphs von Conforti, Giovanni, Macedonio, Damiano, Sassone, Vladimiro

Volltext

A Semantic Analysis of Wireless Network Security Protocols von Macedonio, Damiano, Merro, Massimo

Volltext

A type system for Discretionary Access Control von BUGLIESI, MICHELE, COLAZZO, DARIO, CRAFA, SILVIA, MACEDONIO, DAMIANO

Volltext

A Thread-Safe Library for Binary Decision Diagrams von Lovato, Alberto, Macedonio, Damiano, Spoto, Fausto

Volltext

Boolean Formulas for the Static Identification of Injection Attacks in Java von Ernst, Michael D., Lovato, Alberto, Macedonio, Damiano, Spiridon, Ciprian, Spoto, Fausto

Volltext

Information flow in secure contexts von Bossi, Annalisa, Macedonio, Damiano, Piazza, Carla, Rossi, Sabina

Volltext

Compliance Preorders for Web Services von Bugliesi, Michele, Macedonio, Damiano, Pino, Luca, Rossi, Sabina

Volltext

Secrecy and Authenticity Types for Secure Distributed Messaging von Bugliesi, Michele, Calzavara, Stefano, Macedonio, Damiano

Volltext

Semantics for Locking Specifications von Ernst, Michael, Macedonio, Damiano, Merro, Massimo, Spoto, Fausto

Volltext bestellen

Information Flow Security and Recursive Systems von Bossi, Annalisa, Macedonio, Damiano, Piazza, Carla, Rossi, Sabina

Volltext

Semantics for Locking Specifications von Ernst, Michael, Damiano Macedonio, Merro, Massimo, Spoto, Fausto

Volltext

A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks von Ballardin, Francesco, Macedonio, Damiano, Merro, Massimo, Tirapelle, Mattia

Volltext bestellen

Information flow security for service compositions von Rossi, S., Macedonio, D.

Volltext

A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks von Ballardin, Francesco, Damiano Macedonio, Merro, Massimo, Tirapelle, Mattia

Volltext