Filter your results
- 9
- 9
- 9
- 2
- 1
- 1
- 1
- 2
- 2
- 9
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
9 results
|
|
sorted by
|
|
Dynamics in Delegation and Revocation Schemes: A Logical Approach23th 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
|
||
|
A Logic of Privacy24th 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
|
||
|
Behaviour Protection in Modular Rule-Based System Specifications21th 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
|
||
|
Evaluation of Evidence in Internet Auction Fraud Investigations6th 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
|
||
|
Sensitivity Analysis of Bayesian Networks Used in Forensic Investigations7th Digital Forensics (DF), Jan 2011, Orlando, FL, United States. pp.231-243, ⟨10.1007/978-3-642-24212-0_18⟩
Conference papers
hal-01569550v1
|
||
|
Extending OCL with Map and Function Types9th 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
|
||
|
Measuring Evidential Weight in Digital Forensic Investigations14th 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
|
||
|
A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management4th 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
|
||
|
Nicolas Cage is the Center of the Cybersecurity Universe18th 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
|