Huth, M;
Kuo, JH;
Sasse, MA;
Kirlappos, I;
(2013)
Towards usable generation and enforcement of trust evidence from programmers’ intent.
In: Marinos, L and Askoxylakis, I, (eds.)
HAS/HCII 2013, LNCS 8030.
(pp. 246 - 255).
Springer Berlin Heidelberg
![[thumbnail of TowardsUsableGenerationAndEnforcementOfTrustEvidenceFromProgrammerIntentHuthKuoSasseKirlappos.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
TowardsUsableGenerationAndEnforcementOfTrustEvidenceFromProgrammerIntentHuthKuoSasseKirlappos.pdf Download (390kB) |
Abstract
Programmers develop code with a sense of purpose and with expectations on how units of code should interact with other units of code. But this intent of programmers is typically implicit and undocumented, goes beyond considerations of functional correctness, and may depend on trust assumptions that programmers make. At present, neither programming languages nor development environments offer a means of articulating such intent in a manner that could be used for controlling whether software executions meet such intentions and their associated expectations. We here study how extant research on trust can inform approaches to articulating programmers’ intent so that it may help with creating trust evidence for more trustworthy interaction of software units.
| Type: | Proceedings paper |
|---|---|
| Title: | Towards usable generation and enforcement of trust evidence from programmers’ intent |
| Event: | Human Aspects of Information Security, Privacy and Trust |
| Location: | Las Vegas, Nevada, USA |
| Dates: | 2013-07-21 - 2013-07-26 |
| ISBN-13: | 978-3-642-39344-0 |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1007/978-3-642-39345-7_26 |
| Publisher version: | http://link.springer.com/chapter/10.1007/978-3-642... |
| Language: | English |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/1400344 |
Archive Staff Only
 |
View Item |
