Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

8 results
Page :
sorted by
Image document

Multilevel Transitive and Intransitive Non-interference, Causally

 Paolo Baldan , Alessandro Beggiato
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.1-17, ⟨10.1007/978-3-319-39519-7_1⟩
Conference papers hal-01631722v1
Image document

A Denial of Service Attack to GSM Networks via Attach Procedure

 Nicola Gobbo , Alessio Merlo , Mauro Migliardi
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.361-376
Conference papers hal-01506555v1
Image document

Understanding the Stakeholders’ Expectations About an Adherence App: A Case Study

 Anna Spagnolli , Luciano Gamberini , Enrico D’agostini , Giulia Cenzato
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.73-81, ⟨10.1007/978-3-030-85607-6_5⟩
Conference papers hal-04291273v1
Image document

Many-to-Many Information Flow Policies

 Paolo Baldan , Alessandro Beggiato , Alberto Lluch Lafuente
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.159-177, ⟨10.1007/978-3-319-59746-1_9⟩
Conference papers hal-01657347v1
Image document

ChoKIFA: A New Detection and Mitigation Approach Against Interest Flooding Attacks in NDN

 Abdelmadjid Benarfa , Muhammad Hassan , Alberto Compagno , Eleonora Losiouk , Mohamed Bachir Yagoubi , et al.
17th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2019, Bologna, Italy. pp.53-65, ⟨10.1007/978-3-030-30523-9_5⟩
Conference papers hal-02881740v1
Image document

Encoding Synchronous Interactions Using Labelled Petri Nets

 Paolo Baldan , Filippo Bonchi , Fabio Gadducci , Giacoma V. Monreale
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.1-16, ⟨10.1007/978-3-662-43376-8_1⟩
Conference papers hal-01290063v1
Image document

Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne

 Luca Geretti , Davide Bresolin , Pieter Collins , Sanja Zivanovic Gonzalez , Tiziano Villa
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.313-319, ⟨10.1007/978-3-319-67549-7_19⟩
Conference papers hal-01678971v1
Image document

Transparency Heuristic: Effect of Implicitness of Online Data Acquisition on Sensitivity Perception

 Mariavittoria Masotina , Patrik Pluchino , Francesca Freuli , Luciano Gamberini , Anna Spagnolli
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.676-679, ⟨10.1007/978-3-030-29390-1_61⟩
Conference papers hal-02878652v1
Page :