Invia SMS: Operating system structures to support security and reliable software / Theodore A. Linden ; Institute for Computer Sciences and Technology.