External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Affine Refinement Types for Authentication and Authorization

Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei. Affine Refinement Types for Authentication and Authorization. In Catuscia Palamidessi, Mark Dermot Ryan, editors, Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers. Volume 8191 of Lecture Notes in Computer Science, pages 19-33, Springer, 2012. [doi]

Authors

Michele Bugliesi

This author has not been identified. Look up 'Michele Bugliesi' in Google

Stefano Calzavara

This author has not been identified. Look up 'Stefano Calzavara' in Google

Fabienne Eigner

This author has not been identified. Look up 'Fabienne Eigner' in Google

Matteo Maffei

This author has not been identified. Look up 'Matteo Maffei' in Google
runs on