| EPSRC Reference: |
GR/M85166/01 |
| Title: |
LOGIC IN ENTERPRISE DISTRIBUTED SYSTEMS AND ELECTRONIC COMMERCE |
| Principal Investigator: |
Sergot, Professor M |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computing |
| Organisation: |
Imperial College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
06 January 2000 |
Ends: |
05 January 2001 |
Value (£): |
3,150
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
Information & Knowledge Mgmt |
| Networks & Distributed Systems |
|
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Several recent (and related) developments give a renewed impetus to the study of deontic logic (the logic of obligation and permission) in computer science. All arise from the increasing significance of distributed systems and the success of the internet deontic modalities have been identified by developers of standards for distributed systems infrastructure, by researchers in computer security and access control, and in electronic commerce. But it remains unclear to what extent existing deontic logics and methodologies for their use are appropriate to these new applications. The aim is to develop a set of use-case scenarios in which deontic (and related) aspects play a crucial role, with specific attention to the use of certificates for authorisation, role based access control, and contract representation in electronic data interchange.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.imperial.ac.uk |