ExtractEn(LogSet ? , en) ? ?(def, plain, prop) (C(agent, def, prop) ? CLAIM EV ? Eval(prop, LogSet ? ) ? Eval(prop, LogSet) ? C(plain, agent, prop) ? CLAIM EV ? Eval(prop, LogSet) ? Eval(prop, LogSet ? ))) ,
ExtractEn(LogSet ? , en) ? ?(def, plain, prop) (C(agent, def, prop) ? CLAIM EV ? Eval(prop, LogSet ? ) ? Eval(prop, LogSet) ? C(plain, agent, prop) ? CLAIM EV ? Eval(prop, LogSet) ? Eval(prop, LogSet ? ))) ,
Using B as a High Level Programming Language in an Industrial Project: Roissy VAL, 2005. ,
DOI : 10.1007/11415787_20
Syslog-ng web site Available at: www, BalaBit IT Security, 2011. ,
Rule Systems for Run-time Monitoring: from EAGLE to RULER, Proceedings of the 7th international conference on Runtime verication, pp.7-111125, 2007. ,
DOI : 10.1093/logcom/exn076
Rule Systems for Run-time Monitoring: from EAGLE to RULER, Journal of Logic and Computation, vol.20, issue.3, p.675706, 2010. ,
DOI : 10.1093/logcom/exn076
Runtime verication for ltl and tltl, ACM Trans. Softw. Eng. Methodol, vol.20, issue.4, p.14, 2011. ,
SALT???Structured Assertion Language for Temporal Logic, ICFEM, p.757775, 2006. ,
DOI : 10.1007/11901433_41
M??t??or: A Successful Application of B in a Large Project, World Congress on Formal Methods, volume 1708 of Lecture Notes in Computer Science, p.369387, 1999. ,
DOI : 10.1007/3-540-48119-2_22
Moral Responsibility for Harm Caused by Computer System Failures, Ethics and Information Technology, vol.15, issue.1, pp.233245-233255, 2004. ,
DOI : 10.1007/s10676-005-5609-5
Les clauses limitatives des responsabilité dans les contrats informatique, Communication Commerce Eletronique, vol.1, p.1419, 2004. ,
Specifying and Generating Test Cases Using Observer Automata, FATES, p.125139, 2004. ,
DOI : 10.1007/3-540-40911-4_20
Deciding ltl over mazurkiewicz traces, Data Knowl. Eng, vol.44, issue.2, p.219238, 2003. ,
Derailment of a Docklands Light Railway Train Near West India Quay Station, 2010. ,
Counting linear extensions . Order, pp.225242-225252, 1991. ,
DOI : 10.1007/bf00383444
Digital Evidence: Challenging the Presumption of Reliability, Journal of Digital Forensic Practice, vol.1, issue.1, 1926. ,
DOI : 10.1080/15567280500541421
Monitoring cooperative business contracts in an institutional environment, ICEIS, p.206211, 2009. ,
Dening digital forensic examination and analysis tool using abstraction layers, International Journal of Digital Evidence, vol.1, issue.4, 2003. ,
Audit-based compliance control, International Journal of Information Security, vol.13, issue.1, p.133151, 2007. ,
DOI : 10.1007/s10207-007-0017-y
Validating system properties exhibited in execution traces, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, p.517520, 2007. ,
DOI : 10.1145/1321631.1321723
Why software fails, IEEE Spectrum, 2005. ,
Parametric Trace Slicing and Monitoring, Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, p.246261, 2009. ,
DOI : 10.1023/A:1011227529550
Failure mode and eects analysis using a group-based evidential reasoning approach, Computers & OR, issue.6, pp.36-17681779, 2009. ,
Verication of Hardware Systems with First-Order Logic, 2002. ,
Distributed systems -concepts and designs (5 International computer science series, 2011. ,
jSynoPSys ??? A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines, Electronic Notes in Theoretical Computer Science, vol.253, issue.2, p.117132, 2009. ,
DOI : 10.1016/j.entcs.2009.09.055
URL : https://hal.archives-ouvertes.fr/hal-00662911
Modelling legal contracts as processes. CoRR, cs, 2001. ,
Checking correctness of business contracts via commitments, p.787794, 2008. ,
Experiences in the logical specication of the hipaa and glba privacy laws, WPES, p.7382, 2010. ,
A logical characterisation of event clock automata, Int. J. Found. Comput. Sci, vol.14, issue.4, p.625640, 2003. ,
Runtime verication of safety-progress properties, Lecture Notes in Computer Science, vol.5779, p.4059, 2009. ,
USING THE EVENT CALCULUS FOR TRACKING THE NORMATIVE STATE OF CONTRACTS, International Journal of Cooperative Information Systems, vol.14, issue.02n03, p.99129, 2005. ,
DOI : 10.1142/S0218843005001110
Automatic conict detection on contracts, ICTAC, 2009. ,
CLAN: A Tool for Contract Analysis and Conflict Discovery, ATVA, volume 5799 of Lecture Notes in Computer Science, p.9096, 2009. ,
DOI : 10.1007/978-3-642-04761-9_8
Policy auditing over incomplete logs, Proceedings of the 18th ACM conference on Computer and communications security, CCS '11, p.151162, 2011. ,
DOI : 10.1145/2046707.2046726
Le régime des caluses limitatives de réparation: état des lieux et perspectives, p.9821008, 2008. ,
RFC 3164: The BSD Syslog Protocol, 2001. ,
Normative conicts in electronic contracts, Electronic Commerce Research and Applications, p.247267, 2011. ,
Apport des m??thodes formelles pour l???exploitation de logs informatiques dans un contexte contractuel, Approches Formelles dans l'Assitance au Développement de Logiciels (AFADL), 2012. ,
DOI : 10.3166/tsi.33.63-84
Detecting Regulatory Compliance for Business Process Models through Semantic Annotations, Business Process Management Workshops of Lecture Notes in Business Information Processing, p.517, 2008. ,
DOI : 10.1007/11961536_1
A FORMAL ANALYSIS OF A BUSINESS CONTRACT LANGUAGE, International Journal of Cooperative Information Systems, vol.15, issue.04, p.659685, 2006. ,
DOI : 10.1142/S0218843006001529
DR-CONTRACT: an architecture for e-contracts in defeasible logic, International Journal of Business Process Integration and Management, vol.4, issue.3, 2009. ,
DOI : 10.1504/IJBPIM.2009.030985
Formal hardware verication methods: A survey, Formal Methods in System Design, vol.1, issue.23, p.151238, 1992. ,
A formal approach to property testing in causally consistent distributed traces, Formal Aspects of Computing, vol.18, issue.1, p.6383, 2006. ,
DOI : 10.1007/s00165-005-0082-9
An automatabased approach to property testing in event traces, 2003. ,
POETS: Process-oriented event-driven transaction systems, The Journal of Logic and Algebraic Programming, vol.78, issue.5, p.381401, 2009. ,
DOI : 10.1016/j.jlap.2008.08.007
Logcrypt: forward security and public verication for secure audit logs, ACSW Frontiers, p.203211, 2006. ,
The Admissibility of Electronic Evidence in Court (A.E.E.C.): Fighting against High-Tech Crime???Results of a European Study, Journal of Digital Forensic Practice, vol.1, issue.4, p.285289, 2006. ,
DOI : 10.1080/15567280701418049
Modeling and verication of a distributed transmission protocol, CDES, p.6470, 2005. ,
Leirios test generator: Automated test generation from b models, Lecture Notes in Computer Science, vol.4355, p.277280, 2007. ,
Towards a Theory of Accountability and Audit, ESORICS, p.152167, 2009. ,
DOI : 10.1145/1288783.1288786
How to write a nancial contract The Fun of Programming, 2003. ,
On the generation of all topological sortings, Journal of Algorithms, vol.4, issue.2, p.150162, 1983. ,
DOI : 10.1016/0196-6774(83)90042-1
The wsla framework: Specifying and monitoring service level agreements for web services, J. Network Syst. Manage, vol.11, issue.1, p.5781, 2003. ,
Signed syslog messages Available at: tools.ietf, 2009. ,
DOI : 10.17487/rfc5848
Digital logs -proof matters, Digital Investigation, p.94101, 2004. ,
Guide to Computer Security Log Management, 2006. ,
DOI : 10.6028/NIST.SP.800-92
Run-time monitoring of electronic contracts, ATVA, volume 5311 of Lecture Notes in Computer Science, p.397407, 2008. ,
SLAng: A language for defining service level agreements, The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems, 2003. FTDCS 2003. Proceedings., 2003. ,
DOI : 10.1109/FTDCS.2003.1204317
Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, p.558565, 1978. ,
DOI : 10.1145/359545.359563
A National Goal for Cyberspace: Create an Open, Accountable Internet, IEEE Security & Privacy Magazine, vol.7, issue.3, p.34, 2009. ,
DOI : 10.1109/MSP.2009.58
Liability in Software Engineering: Overview of the LISE Approach and Illustration on a Case Study, International Conference on Software Engineering (ICSE), p.135144, 2010. ,
Designing Log Architectures for Legal Evidence, 2010 8th IEEE International Conference on Software Engineering and Formal Methods, p.156165, 2010. ,
DOI : 10.1109/SEFM.2010.29
Regular Linear-Time Temporal Logic, 2010 17th International Symposium on Temporal Representation and Reasoning, p.35, 2010. ,
DOI : 10.1109/TIME.2010.29
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.725
A new approach to secure logging, TOS, vol.5, issue.1, 2009. ,
What's in a Standard Form Contract? An Empirical Analysis of Software License Agreements, Journal of Empirical Legal Studies, vol.4, issue.4, p.677713, 2007. ,
DOI : 10.1111/j.1740-1461.2007.00104.x
New approaches to digital evidence, Proceedings of the IEEE, p.933947, 2004. ,
DOI : 10.1109/JPROC.2004.827358
A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence, SBMF, 2010. ,
DOI : 10.1109/TSE.2009.55
URL : https://hal.archives-ouvertes.fr/hal-00789668
The Paradoxes of Deontic Logic Revisited: A Compute Science Perspective, 1994. ,
Computation Slicing: Techniques and Theory, Lecture Notes in Computer Science, vol.2180, p.7892, 2001. ,
DOI : 10.1007/3-540-45414-4_6
Exception Handling in Electronic Contracting, 2009 IEEE Conference on Commerce and Enterprise Computing, p.6573, 2009. ,
DOI : 10.1109/CEC.2009.77
Asynchronous online-monitoring of logical and temporal assertions, FDL, p.286290, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00293779
Reliable Delivery for syslog, 2001. ,
Partial Disclosure of Searchable Encrypted Data with Support for Boolean Queries, 2008 Third International Conference on Availability, Reliability and Security, 2008. ,
DOI : 10.1109/ARES.2008.80
Towards a Formalisation of Electronic Contracting Environments, COIN AAMAS, p.156171, 2008. ,
DOI : 10.1142/S0218843005001110
Challenges in the specication of full contracts, IFM, p.292306, 2009. ,
RBSLA A declarative Rule-based Service Level Agreement Language based on RuleML, International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06), p.308314, 2005. ,
DOI : 10.1109/CIMCA.2005.1631486
SLA Representation, Management and Enforcement, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, p.158163, 2005. ,
DOI : 10.1109/EEE.2005.121
The Contract Management Benchmark Report: Procurement Contracts, 2006. ,
Contract Lifecycle Management and the CFO: Optimizing Revenues and Capturing Savings, 2007. ,
Using fuzzy cognitive maps as a system model for failure modes and eects analysis The temporal logic of programs, FOCS, pp.177199-4657, 1977. ,
Contrary-to-duty obligations, Studia Logica, vol.29, issue.1, p.91115, 1996. ,
DOI : 10.1007/BF00370671
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.7750
A Formal Language for Electronic Contracts, FMOODS, p.174189, 2007. ,
DOI : 10.1111/1467-9337.00106
Generating linear extensions fast, SIAM J. Comput, vol.23, issue.2, p.373386, 1994. ,
The logic of event clocks -decidability, complexity and expressiveness, Journal of Automata, Languages and Combinatorics, vol.4, issue.3, p.247286, 1999. ,
Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method, International Journal on Software Tools for Technology Transfer, vol.187, issue.3, p.3951, 2010. ,
DOI : 10.1007/s10009-009-0130-5
URL : https://hal.archives-ouvertes.fr/hal-00184837
An examination of digital forensic models, IJDE, vol.1, issue.3, 2002. ,
Next-generation digital forensics, Communications of the ACM, vol.49, issue.2, p.7680, 2006. ,
DOI : 10.1145/1113034.1113074
Two views on security software liability. Let the legal system decide, IEEE Security & Privacy Magazine, vol.99, issue.1, p.7072, 2003. ,
DOI : 10.1109/MSECP.2003.1176999
Implementing a rule-based contract compliance checker, I3E, p.96111, 2009. ,
Available at: www.fda.gov/LASIK ,
An algorithm to generate all topological sorting arrangements, The Computer Journal, vol.24, issue.1, p.8384, 1981. ,
DOI : 10.1093/comjnl/24.1.83
I. DEONTIC LOGIC, Mind, vol.LX, issue.237, pp.60-115, 1951. ,
DOI : 10.1093/mind/LX.237.1
URL : https://hal.archives-ouvertes.fr/hal-01268712
Building an encrypted and searchable audit log, NDSS The Internet Society, 2004. ,
Temporal logic can be more expressive, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981), p.7299, 1983. ,
DOI : 10.1109/SFCS.1981.44
Formal methods, ACM Computing Surveys, vol.41, issue.4, 2009. ,
DOI : 10.1145/1592434.1592436
Pro-active Monitoring of Electronic Contracts, CAiSE, volume 2681 of Lecture Notes in Computer Science, p.584600, 2003. ,
DOI : 10.1007/3-540-45017-3_39
Detection tests for identifying violators of multi-party contracts, ACM SIGecom Exchanges, vol.5, issue.3, 1928. ,
DOI : 10.1145/1120680.1120684
A survey of electronic contracting related developments, 14th Bled Electronic Commerce Conference, 2001. ,