The proceedings of a meeting held at the Tata Institute of Fundamental Research, Bombay, in June 1992. Selected papers are included in this volume, along with invited essays on developments in algorithms for the maximum-flow problem and system specification in temporal logic.

Access control for a collaborative business environment not only needs to manage resources of individual collaborator but also needs to integrate, dissociate collaborating domains users & resources, on-demand. As inter-domain transactions are carried out over the Internet, the transactions need security & privacy. Interoperability mechanisms fall short to comprehensively achieve security & privacy in a manner that is scalable, dynamic, autonomy-preserving, and tractable in ephemeral collaborations; thus risking the manageability and security of overall environment in practice. This book...

This book constitutes the refereed proceedings of the 10th International Conference on Information Systems Security, ICISS 2014, held in Hyderabad, India, in December 2014. The 20 revised full papers and 5 short papers presented together with 3 invited papers were carefully reviewed and selected from 129 submissions. The papers address the following topics: security inferences; security policies; security user interfaces; security attacks; malware detection; forensics; and location based security services.