Sciweavers

2 search results - page 1 / 1
» A legal drafting environment based on formal and semantic XM...
Sort
View
ICAIL
2005
ACM
13 years 9 months ago
A legal drafting environment based on formal and semantic XML standards
Carlo Biagioli, Enrico Francesconi, Pier-Luigi Spi...
ESOP
2008
Springer
13 years 5 months ago
A Formal Implementation of Value Commitment
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
Cédric Fournet, Nataliya Guts, Francesco Za...