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

Filter your results

9 results
Page :
sorted by
Image document

Evaluation of Evidence in Internet Auction Fraud Investigations

 Michael Kwan , Richard Overill , Kam-Pui Chow , Jantje Silomon , Hayson Tse , et al.
6th IFIP WG 11.9 International Conference on Digital Forensics (DF), Jan 2010, Hong Kong, China. pp.121-132, ⟨10.1007/978-3-642-15506-2_9⟩
Conference papers hal-01060616v1
Image document

Extending OCL with Map and Function Types

 Kevin Lano , Shekoufeh Kolahdouz-Rahimi
9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.108-123, ⟨10.1007/978-3-030-89247-0_8⟩
Conference papers hal-04074525v1
Image document

A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management

 Iman Poernomo , Timur Umarov
4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.136-149, ⟨10.1007/978-3-642-28038-2_11⟩
Conference papers hal-01527384v1
Image document

Dynamics in Delegation and Revocation Schemes: A Logical Approach

 Guillaume Aucher , Steve Barker , Guido Boella , Valerio Genovese , Leendert van Der Torre
23th Data and Applications Security (DBSec), Jul 2011, Richmond, United States. pp.90-105, ⟨10.1007/978-3-642-22348-8_9⟩
Conference papers inria-00593654v2
Image document

Nicolas Cage is the Center of the Cybersecurity Universe

 Luca Viganò
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.14-33, ⟨10.1007/978-3-030-85623-6_3⟩
Conference papers hal-04329898v1
Image document

Behaviour Protection in Modular Rule-Based System Specifications

 Francisco Durán , Fernando Orejas , Steffen Zschaler
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.24-49, ⟨10.1007/978-3-642-37635-1_2⟩
Conference papers hal-01485976v1
Image document

Measuring Evidential Weight in Digital Forensic Investigations

 Richard Overill , Kam-Pui Chow
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.3-10, ⟨10.1007/978-3-319-99277-8_1⟩
Conference papers hal-01988848v1
Image document

Sensitivity Analysis of Bayesian Networks Used in Forensic Investigations

 Michael Kwan , Richard Overill , Kam-Pui Chow , Hayson Tse , Frank Law , et al.
7th Digital Forensics (DF), Jan 2011, Orlando, FL, United States. pp.231-243, ⟨10.1007/978-3-642-24212-0_18⟩
Conference papers hal-01569550v1
Image document

A Logic of Privacy

 Steve Barker , Valerio Genovese
24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC), Jun 2010, Rome, Italy. pp.17-32, ⟨10.1007/978-3-642-13739-6_2⟩
Conference papers hal-01056671v1
Page :