Search - IFIP Open Digital Library Access content directly

Filter your results

51 results
Structure: Internal structure identifier : 302599
Image document

Enforcing Availability in Failure-Aware Communicating Systems

Hugo A. López , Flemming Nielson , Hanne Riis Nielson
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.195-211, ⟨10.1007/978-3-319-39570-8_13⟩
Conference papers hal-01432918v1
Image document

Galois Connections for Flow Algebras

Piotr Filipiuk , Michał Terepeta , Hanne Riis Nielson , Flemming Nielson
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.138-152, ⟨10.1007/978-3-642-21461-5_9⟩
Conference papers hal-01583315v1
Image document

Security and Privacy in Video Surveillance: Requirements and Challenges

Qasim Mahmood Rajpoot , Christian Damsgaard Jensen
29th IFIP International Information Security Conference (SEC), Jun 2014, Marrakech, Morocco. pp.169-184, ⟨10.1007/978-3-642-55415-5_14⟩
Conference papers hal-01370363v1
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

Coordination Models and Languages

Alberto Lluch Lafuente , José Proença
Springer International Publishing, LNCS-9686, 2016, Lecture Notes in Computer Science, 978-3-319-39518-0. ⟨10.1007/978-3-319-39519-7⟩
Books hal-01631711v1
Image document

The Importance of Trust in Computer Security

Christian Damsgaard Jensen
8th IFIP International Conference on Trust Management (IFIPTM), Jul 2014, Singapore, Singapore. pp.1-12, ⟨10.1007/978-3-662-43813-8_1⟩
Conference papers hal-01381672v1
Image document

Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation

Kent Fagerland Simonsen , Lars Michael Kristensen
4th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2014, Berlin, Germany. pp.104-118, ⟨10.1007/978-3-662-43352-2_9⟩
Conference papers hal-01287735v1
Image document

Challenges in Prototyping a Problem-Solving Practice

Christina Villefrance Møller
7th European Lean Educator Conference (ELEC), Oct 2021, Trondheim, Norway. pp.381-390, ⟨10.1007/978-3-030-92934-3_40⟩
Conference papers hal-03771941v1
Image document

Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces

Fan Yang , Tomoyuki Aotani , Hidehiko Masuhara , Flemming Nielson , Hanne Riis Nielson
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.202-218, ⟨10.1007/978-3-642-21464-6_14⟩
Conference papers hal-01582991v1
Image document

Integrating Attributes into Role-Based Access Control

Qasim Mahmood Rajpoot , Christian Damsgaard Jensen , Ram Krishnan
29th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2015, Fairfax, VA, United States. pp.242-249, ⟨10.1007/978-3-319-20810-7_17⟩
Conference papers hal-01745833v1
Image document

Information Security and Privacy – Challenges and Outlook

Steven Furnell , Paul Haskell-Dowland , Manish Agrawal , Richard Baskerville , Anirban Basu , et al.
Advancing Research in Information and Communication Technology, AICT-600, pp.383-401, 2021, ⟨10.1007/978-3-030-81701-5_16⟩
Book sections hal-03325978v1
Image document

CPMap: Design of Click-Points Map-Based Graphical Password Authentication

Weizhi Meng , Fei Fei , Lijun Jiang , Zhe Liu , Chunhua Su , et al.
33th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), Sep 2018, Poznan, Poland. pp.18-32, ⟨10.1007/978-3-319-99828-2_2⟩
Conference papers hal-02023732v1
Image document

Information Security Theory and Practice

Maryline Laurent , Thanassis Giannetsos
Springer, LNCS-12024, pp.(X-253), 2020, Lecture Notes in Computer Science, 978-3-030-41701-7. ⟨10.1007/978-3-030-41702-4⟩
Books hal-03173895v1
Image document

A Theory of Automated Market Makers in DeFi

Massimo Bartoletti , James Hsin-Yu Chiang , Alberto Lluch-Lafuente
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.168-187, ⟨10.1007/978-3-030-78142-2_11⟩
Conference papers hal-03387829v1
Image document

Recursive Advice for Coordination

Michał Terepeta , Hanne Riis Nielson , Flemming Nielson
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.137-151, ⟨10.1007/978-3-642-30829-1_10⟩
Conference papers hal-01529587v1
Image document

The Stochastic Quality Calculus

Kebin Zeng , Flemming Nielson , Hanne Riis Nielson
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.179-193, ⟨10.1007/978-3-662-43376-8_12⟩
Conference papers hal-01290076v1
Image document

Quality Criteria for Cyber Security MOOCs

Simone Fischer-Hübner , Matthias Beckerle , Alberto Lluch Lafuente , Antonio Ruiz Martínez , Karo Saharinen , et al.
13th IFIP World Conference on Information Security Education (WISE), Sep 2020, Maribor, Slovenia. pp.46-60, ⟨10.1007/978-3-030-59291-2_4⟩
Conference papers hal-03380695v1

Trust Management IX

Christian Damsgaard Jensen , Stephen Marsh , Theo Dimitrakos , Yuko Murayama
Springer, AICT-454, 2015, Trust Management IX, 978-3-319-18490-6. ⟨10.1007/978-3-319-18491-3⟩
Books hal-01416235v1

Coordination Models and Languages

Hanne Nielson , Emilio Tuosto
Springer International Publishing, LNCS-11533, 2019, Lecture Notes in Computer Science, 978-3-030-22396-0. ⟨10.1007/978-3-030-22397-7⟩
Books hal-02365511v1
Image document

Towards Statistical Trust Computation for Medical Smartphone Networks Based on Behavioral Profiling

Weizhi Meng , Man Ho Au
11th IFIP International Conference on Trust Management (TM), Jun 2017, Gothenburg, Sweden. pp.152-159, ⟨10.1007/978-3-319-59171-1_12⟩
Conference papers hal-01651152v1
Image document

SocialAuth: Designing Touch Behavioral Smartphone User Authentication Based on Social Networking Applications

Weizhi Meng , Wenjuan Li , Lijun Jiang , Jianying Zhou
34th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), Jun 2019, Lisbon, Portugal. pp.180-193, ⟨10.1007/978-3-030-22312-0_13⟩
Conference papers hal-03744302v1
Image document

Replica-Based High-Performance Tuple Space Computing

Marina Andrić , Rocco De Nicola , Alberto Lluch Lafuente
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.3-18, ⟨10.1007/978-3-319-19282-6_1⟩
Conference papers hal-01774936v1
Image document

Klaim-DB: A Modeling Language for Distributed Database Applications

Xi Wu , Ximeng Li , Alberto Lluch Lafuente , Flemming Nielson , Hanne Riis Nielson
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.197-212, ⟨10.1007/978-3-319-19282-6_13⟩
Conference papers hal-01774934v1

Trust Management XIII

Weizhi Meng , Piotr Cofta , Christian Damsgaard Jensen , Tyrone Grandison
Springer International Publishing, AICT-563, 2019, IFIP Advances in Information and Communication Technology, 978-3-030-33715-5. ⟨10.1007/978-3-030-33716-2⟩
Books hal-03182601v1
Image document

UNI•C – A True Internet Pioneer, the Danish Computing Centre for Research and Education

Dorte Olesen
4th History of Nordic Computing (HiNC4), Aug 2014, Copenhagen, Denmark. pp.116-124, ⟨10.1007/978-3-319-17145-6_13⟩
Conference papers hal-01301400v1
Image document

CodeTrust

Christian Damsgaard Jensen , Michael Bøndergaard Nielsen
12th IFIP International Conference on Trust Management (TM), Jul 2018, Toronto, ON, Canada. pp.58-74, ⟨10.1007/978-3-319-95276-5_5⟩
Conference papers hal-01855988v1
Image document

Visual Product Architecture Modelling for Structuring Data in a PLM System

Hans Bruun , Niels Henrik Mortensen
9th International Conference on Product Lifecycle Management (PLM), Jul 2012, Montreal, QC, Canada. pp.598-611, ⟨10.1007/978-3-642-35758-9_54⟩
Conference papers hal-01526158v1
Image document

A Fixpoint-Based Calculus for Graph-Shaped Computational Fields

Alberto Lluch Lafuente , Michele Loreti , Ugo Montanari
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.101-116, ⟨10.1007/978-3-319-19282-6_7⟩
Conference papers hal-01774933v1
Image document

Building an Ontology of Product/Service-Systems: Using a Maritime Case Study to Elicit Classifications and Characteristics

Aris Pagoropoulos , Jakob Bejbro Andersen , Louise Laumann Kjær , Anja Maier , Tim C. Mcaloone
15th Working Conference on Virtual Enterprises (PROVE), Oct 2014, Amsterdam, Netherlands. pp.119-126, ⟨10.1007/978-3-662-44745-1_11⟩
Conference papers hal-01392097v1
Image document

Exploring the Relationship Between Data Science and Circular Economy: An Enhanced CRISP-DM Process Model

Eivind Kristoffersen , Oluseun Omotola Aremu , Fenna Blomsma , Patrick Mikalef , Jingyue Li
18th Conference on e-Business, e-Services and e-Society (I3E), Sep 2019, Trondheim, Norway. pp.177-189, ⟨10.1007/978-3-030-29374-1_15⟩
Conference papers hal-02510135v1