Cover Image
Read Now

1
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Mechanism -- Types for Security in a Mobile World -- History-Based Access Control for Distributed Processes...”
Cover Image
Read Now

2
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... for Interface and Product Line Theories -- Using History Invariants to Verify Observers -- Term Rewriting...”