{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:19:43Z","timestamp":1745986783182,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642358609"},{"type":"electronic","value":"9783642358616"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35861-6_13","type":"book-chapter","created":{"date-parts":[[2013,1,11]],"date-time":"2013-01-11T03:44:50Z","timestamp":1357875890000},"page":"205-223","source":"Crossref","is-referenced-by-count":4,"title":["Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure"],"prefix":"10.1007","author":[{"given":"Zachary J.","family":"Oster","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ganesh Ram","family":"Santhanam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samik","family":"Basu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vasant","family":"Honavar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-642-17650-0_3","volume-title":"Information and Communications Security","author":"C.A. Ardagna","year":"2010","unstructured":"Ardagna, C.A., De Capitani di Vimercati, S., Foresti, S., Neven, G., Paraboschi, S., Preiss, F.-S., Samarati, P., Verdicchio, M.: Fine-Grained Disclosure of Access Policies. In: Soriano, M., Qing, S., L\u00f3pez, J. (eds.) ICICS 2010. LNCS, vol.\u00a06476, pp. 16\u201330. Springer, Heidelberg (2010)"},{"key":"13_CR2","unstructured":"Bouveret, S., Endriss, U., Lang, J.: Conditional importance networks: A graphical language for representing ordinal, monotonic preferences over sets of goods. In: Boutilier, C. (ed.) IJCAI, pp. 67\u201372 (2009)"},{"key":"13_CR3","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1613\/jair.1895","volume":"25","author":"R.I. Brafman","year":"2006","unstructured":"Brafman, R.I., Domshlak, C., Shimony, S.E.: On graphical modeling of preference and importance. J. Artif. Intell. Res. (JAIR)\u00a025, 389\u2013424 (2006)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"13_CR4","unstructured":"Chen, W., Clarke, L., Kurose, J., Towsley, D.: Optimizing cost-sensitive trust-negotiation protocols. In: INFOCOM, pp. 1431\u20131442 (2005)"},{"key":"13_CR5","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press (January 2000)"},{"key":"13_CR6","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1613\/jair.2627","volume":"33","author":"J. Goldsmith","year":"2008","unstructured":"Goldsmith, J., Lang, J., Truszczynski, M., Wilson, N.: The computational complexity of dominance and consistency in CP-nets. JAIR\u00a033, 403\u2013432 (2008)","journal-title":"JAIR"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-540-85259-9_7","volume-title":"Secure Data Management","author":"P. K\u00e4rger","year":"2008","unstructured":"K\u00e4rger, P., Olmedilla, D., Balke, W.-T.: Exploiting Preferences for Minimal Credential Disclosure in Policy-Driven Trust Negotiations. In: Jonker, W., Petkovi\u0107, M. (eds.) SDM 2008. LNCS, vol.\u00a05159, pp. 99\u2013118. Springer, Heidelberg (2008)"},{"key":"13_CR8","unstructured":"McMillan, K.L.: Cadence SMV (software). Release 10-11-02p1 (2002), http:\/\/www.kenmcmil.com\/smv.html"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Oster, Z.J., Santhanam, G.R., Basu, S.: Automating analysis of qualitative preferences in goal-oriented requirements engineering. In: Alexander, P., Pasareanu, C.S., Hosking, J.G. (eds.) ASE, pp. 448\u2013451. IEEE (2011)","DOI":"10.1109\/ASE.2011.6100096"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: FOCS, pp. 46\u201357. IEEE Computer Society (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Santhanam, G.R., Basu, S., Honavar, V.: Dominance testing via model checking. In: AAAI, pp. 357\u2013362. AAAI Press (2010)","DOI":"10.1609\/aaai.v24i1.7599"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Winsborough, W., Seamons, K., Jones, V.: Automated trust negotiation. In: Proceedings DARPA Information Survivability Conference and Exposition, DISCEX 2000, vol.\u00a01, pp. 88\u2013102. IEEE (2000)","DOI":"10.1109\/DISCEX.2000.824965"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Winsborough, W.H., Li, N.: Safety in automated trust negotiation. In: IEEE Symposium on Security and Privacy, pp. 147\u2013160. IEEE Computer Society (2004)","DOI":"10.1109\/SECPRI.2004.1301321"},{"key":"13_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1410234.1410240","volume":"12","author":"D. Yao","year":"2008","unstructured":"Yao, D., Frikken, K.B., Atallah, M.J., Tamassia, R.: Private information: To reveal or not to reveal. ACM Trans. Inf. Syst. Secur. 12, 6:1\u20136:27 (2008)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Yu, T., Winslett, M., Seamons, K.E.: Interoperable strategies in automated trust negotiation. In: Reiter, M.K., Samarati, P. (eds.) ACM Conference on Computer and Communications Security, pp. 146\u2013155. ACM (2001)","DOI":"10.1145\/501983.502004"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35861-6_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T16:51:12Z","timestamp":1745945472000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35861-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642358609","9783642358616"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35861-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}