{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:23:29Z","timestamp":1745987009938,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642368172"},{"type":"electronic","value":"9783642368189"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36818-9_52","type":"book-chapter","created":{"date-parts":[[2013,3,4]],"date-time":"2013-03-04T16:14:54Z","timestamp":1362413694000},"page":"469-478","source":"Crossref","is-referenced-by-count":2,"title":["Trustworthy Opportunistic Access to the Internet of Services"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Armando","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aniello","family":"Castiglione","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriele","family":"Costa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugo","family":"Fiore","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessio","family":"Merlo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Verderame","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilsun","family":"You","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"52_CR1","doi-asserted-by":"crossref","unstructured":"Armando, A., Costa, G., Merlo, A.: Formal modeling and reasoning about the Android security framework. In: Proc. of 7th International Symposium on Trustworthy Global Computing (2012) (to appear)","DOI":"10.1007\/978-3-642-41157-1_5"},{"key":"52_CR2","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking (Representation and Mind Series). The MIT Press (2008)"},{"issue":"6","key":"52_CR3","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/1552309.1552313","volume":"31","author":"M. Bartoletti","year":"2009","unstructured":"Bartoletti, M., Degano, P., Ferrari, G., Zunino, R.: Local policies for resource usage analysis. ACM Transactions on Programming Languages and Systems, TOPLAS\u00a031(6), 23 (2009)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"52_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/3-540-68339-9_34","volume-title":"Advances in Cryptology - EUROCRYPT \u201996","author":"M. Bellare","year":"1996","unstructured":"Bellare, M., Rogaway, P.: The Exact Security of Digital Signatures - How to Sign with RSA and Rabin. In: Maurer, U.M. (ed.) EUROCRYPT 1996. LNCS, vol.\u00a01070, pp. 399\u2013416. Springer, Heidelberg (1996)"},{"key":"52_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-642-24124-6_13","volume-title":"Software Engineering for Resilient Systems","author":"A. Bertolino","year":"2011","unstructured":"Bertolino, A., Calabr\u00f2, A., Lonetti, F., Di Marco, A., Sabetta, A.: Towards a Model-Driven Infrastructure for Runtime Monitoring. In: Troubitsyna, E.A. (ed.) SERENE 2011. LNCS, vol.\u00a06968, pp. 130\u2013144. Springer, Heidelberg (2011)"},{"key":"52_CR6","doi-asserted-by":"crossref","unstructured":"Boyd, S., Ghosh, A., Prabhakar, B., Shah, D.: Gossip algorithms: Design, analysis and applications. In: Proceedings of IEEE INFOCOM, pp. 1653\u20131664 (2005)","DOI":"10.1109\/INFCOM.2005.1498447"},{"key":"52_CR7","volume-title":"Model checking","author":"E.M. Clarke Jr.","year":"1999","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model checking. MIT Press, Cambridge (1999)"},{"issue":"1","key":"52_CR8","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1016\/j.cose.2009.07.005","volume":"29","author":"G. Costa","year":"2010","unstructured":"Costa, G., Martinelli, F., Mori, P., Schaefer, C., Walter, T.: Runtime monitoring for next generation java me platform. Computers & Security\u00a029(1), 74\u201387 (2010)","journal-title":"Computers & Security"},{"key":"52_CR9","unstructured":"Pfaff, B., et al.: OpenFlow Switch Specification. OpenFlow (February 2011), http:\/\/www.openflow.org\/documents\/openflow-spec-v1.1.0.pdf"},{"key":"52_CR10","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1109\/NCA.2010.34","volume-title":"Proceedings of the 2010 Ninth IEEE International Symposium on Network Computing and Applications, NCA 2010","author":"P. Gasti","year":"2010","unstructured":"Gasti, P., Merlo, A., Ciaccio, G., Chiola, G.: On the integrity of network coding-based anonymous p2p file sharing networks. In: Proceedings of the 2010 Ninth IEEE International Symposium on Network Computing and Applications, NCA 2010, pp. 192\u2013197. IEEE Computer Society, Washington, DC (2010)"},{"issue":"2","key":"52_CR11","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1355734.1355746","volume":"38","author":"N. McKeown","year":"2008","unstructured":"McKeown, N., Anderson, T., Balakrishnan, H., Parulkar, G., Peterson, L., Rexford, J., Shenker, S., Turner, J.: OpenFlow: enabling innovation in campus networks. SIGCOMM Comput. Commun. Rev.\u00a038(2), 69\u201374 (2008)","journal-title":"SIGCOMM Comput. Commun. Rev."},{"issue":"2","key":"52_CR12","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1016\/j.future.2012.08.001","volume":"29","author":"A. Merlo","year":"2013","unstructured":"Merlo, A.: Secure cooperative access control on grid. Future Generation Computer Systems\u00a029(2), 497\u2013508 (2013)","journal-title":"Future Generation Computer Systems"},{"key":"52_CR13","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1145\/263699.263712","volume-title":"Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1997","author":"G.C. Necula","year":"1997","unstructured":"Necula, G.C.: Proof-carrying code. In: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1997, pp. 106\u2013119. ACM, New York (1997)"},{"key":"52_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-68339-9_3","volume-title":"Advances in Cryptology - EUROCRYPT \u201996","author":"B. Preneel","year":"1996","unstructured":"Preneel, B., Van Oorschot, P.C.: On the Security of Two MAC Algorithms. In: Maurer, U.M. (ed.) EUROCRYPT 1996. LNCS, vol.\u00a01070, pp. 19\u201332. Springer, Heidelberg (1996)"},{"key":"52_CR15","first-page":"3","volume-title":"Proceedings of the 2010 Internet Network Management Conference on Research on Enterprise Networking","author":"A. Tootoonchian","year":"2010","unstructured":"Tootoonchian, A., Ganjali, Y.: Hyperflow: a distributed control plane for openflow. In: Proceedings of the 2010 Internet Network Management Conference on Research on Enterprise Networking, pp. 3\u20139. USENIX Association, Berkeley (2010)"}],"container-title":["Lecture Notes in Computer Science","Information and Communicatiaon Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36818-9_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T22:54:18Z","timestamp":1745967258000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36818-9_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642368172","9783642368189"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36818-9_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}