Abstract
I would like to speak about a number of minor matters that occurred over the past few days that I suggest that you pay more attention to or worry about more or define better.
One is that yesterday morning I several times heard what amount to restatements of the Halting Problem,where people said, hey, we’re working on the Halting Problem. It is not necessarily an impossibility to solve this problem but I suggest to you that in many cases it is difficult,time consuming and expensive. For example,saying that a computer program, one which you’ve probably never seen,enforces a particular policy, may just be a restatement of the Halting Problem. Beware of that kind of thing because there may be a good deal of work down the line in getting things to where you want them to be.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Morris, B. (2000). Bob versus Bob – Good Guy/Bad Guy. In: Christianson, B., Crispo, B., Malcolm, J.A., Roe, M. (eds) Security Protocols. Security Protocols 1999. Lecture Notes in Computer Science, vol 1796. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10720107_30
Download citation
DOI: https://doi.org/10.1007/10720107_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67381-1
Online ISBN: 978-3-540-45570-7
eBook Packages: Springer Book Archive