Imperial College London
Portrait Picture

ProfessorMichaelHuth

Faculty of Engineering, Department of Computing

Head of the Department of Computing
 
 
 
//

Contact

 

m.huth Website

 
 
//

Location

 

Huxley 566Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Huth:2013:10.1007/978-3-642-39345-7_26,
author = {Huth, M and Kuo, JHP and Sasse, A and Kirlappos, I},
doi = {10.1007/978-3-642-39345-7_26},
journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
pages = {246--255},
title = {Towards usable generation and enforcement of trust evidence from programmers' intent},
url = {http://dx.doi.org/10.1007/978-3-642-39345-7_26},
volume = {8030 LNCS},
year = {2013}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - 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. © 2013 Springer-Verlag Berlin Heidelberg.
AU  - Huth,M
AU  - Kuo,JHP
AU  - Sasse,A
AU  - Kirlappos,I
DO  - 10.1007/978-3-642-39345-7_26
EP  - 255
PY  - 2013///
SN  - 0302-9743
SP  - 246
TI  - Towards usable generation and enforcement of trust evidence from programmers' intent
T2  - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
UR  - http://dx.doi.org/10.1007/978-3-642-39345-7_26
VL  - 8030 LNCS
ER  -
Download