We consider the problem of assessing the trustworthiness of mobile code. We introduce the idea of deep type inference on compiled object code and explain its usefulness as a method of deciding the level of security management which a unit of mobile code will require.
|Title of host publication||Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), University of Stirling, Bridge of Allan, Scotland, August 29th to September 1st, 1999|
|Editors||Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl|
|Number of pages||9|
|Publication status||Published - 2000|
|Name||Trends in Functional Programming|