This author has not been identified. Look up 'Natarajan Shankar' in GoogleThis author has not been identified. Look up 'Catuscia Palamidessi' in GoogleThis author has not been identified. It may be one of the following persons: Look up 'Gordon D. Plotkin' in GoogleThis author has not been identified. Look up 'Moshe Y. Vardi' in Google