ISSUE-12: Proof of WebID protocol

bblfish

Proof of WebID protocol

State:
RAISED
Product:
WebID-authn-TLS-spec
Raised by:
Henry Story
Opened on:
2011-01-30
Description:
WebID is so simple to understand it may be difficult to prove. But a if one could do this automatically this would help investigate new ideas.

An initial N3 proof using some minimal claim semantics is detailed in the 2009 European Semantic Web Conference paper (ESW2009) "Foaf+SSL: RESTful authentication for the Social Web". [1] I have been working very slowly on improving the proof which is online. [2] We should move this to the current HG repository.

Part of this type of proof will have to be philosophical. The sense/reference distinction may have to base itself on work by Gareth Evans' very large book "The Varieties of Reference". I have also been studying the philosophy of speech acts. There are logics of claims that might be developing in other parts of the semantic web space.

As said this can be developed on the side and need not be a deliverable, though it could simplify discussion in tricky cases.

Henry

[1] http://bblfish.net/tmp/2009/05/spot2009_submission_15.pdf
[2] https://github.com/bblfish/foafssl-java/tree/master/papers/spot2009
Related Actions Items:
No related actions
Related emails:
  1. WebID-ISSUE-12 (bblfish): Proof of WebID protocol (from sysbot+tracker@w3.org on 2011-01-30)

Related notes:

No additional notes.

Display change log ATOM feed


Henry Story <Henry.Story@bblfish.net>, Chair, Dominique Hazaƫl-Massieux <dom@w3.org>, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: index.php,v 1.326 2018/10/13 17:29:51 vivien Exp $