{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:49:55Z","timestamp":1725580195807},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642208973"},{"type":"electronic","value":"9783642208980"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20898-0_13","type":"book-chapter","created":{"date-parts":[[2011,4,8]],"date-time":"2011-04-08T04:33:57Z","timestamp":1302237237000},"page":"177-191","source":"Crossref","is-referenced-by-count":0,"title":["Engineering Secure Future Internet Services"],"prefix":"10.1007","author":[{"given":"Wouter","family":"Joosen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"Lopez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Martinelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Massacci","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":"281","DOI":"10.1007\/11513988_27","volume-title":"Computer Aided Verification","author":"A. Armando","year":"2005","unstructured":"Armando, A., Basin, D., Boichut, Y., Chevalier, Y., Compagna, L., Cuellar, J., Drielsma, P.H., He\u00e1m, P.C., Kouchnarenko, O., Mantovani, J., M\u00f6dersheim, S., von Oheimb, D., Rusinowitch, M., Santiago, J., Turuani, M., Vigan\u00f2, L., Vigneron, L.: The AVISPA tool for the automated validation of internet security protocols and applications. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 281\u2013285. Springer, Heidelberg (2005)"},{"key":"13_CR2","volume-title":"Software Architecture in Practice","author":"L. Bass","year":"2003","unstructured":"Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice, 2nd edn. Addison-Wesley, Boston (2003)","edition":"2"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1145\/1064978.1065047","volume":"40","author":"L. Bauer","year":"2005","unstructured":"Bauer, L., Ligatti, J., Walker, D.: Composing security policies with polymer. SIGPLAN Not.\u00a040, 305\u2013314 (2005)","journal-title":"SIGPLAN Not."},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/s10550-007-0013-9","volume":"25","author":"F. Braber","year":"2007","unstructured":"Braber, F., Hogganvik, I., Lund, M.S., St\u00f8len, K., Vraalsen, F.: Model-based security analysis in seven steps \u2014 a guided tour to the coras method. BT Technology Journal\u00a025, 101\u2013117 (2007)","journal-title":"BT Technology Journal"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/B:AGNT.0000018806.20944.ef","volume":"8","author":"P. Bresciani","year":"2004","unstructured":"Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An agent-oriented software development methodology. Autonomous Agents and Multi-Agent Systems\u00a08, 203\u2013236 (2004)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-540-69100-6_22","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"M. Clavel","year":"2008","unstructured":"Clavel, M., da Silva, V., de O. Braga, C., Egea, M.: Model-driven security in practice: An industrial experience. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol.\u00a05095, pp. 326\u2013337. Springer, Heidelberg (2008)"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/978-3-540-70545-1_38","volume-title":"Computer Aided Verification","author":"C.J. Cremers","year":"2008","unstructured":"Cremers, C.J.: The scyther tool: Verification, falsification, and analysis of security protocols. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol.\u00a05123, pp. 414\u2013418. Springer, Heidelberg (2008)"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Sci. Comput. Program.\u00a020, 3\u201350 (1993)","journal-title":"Sci. Comput. Program."},{"key":"13_CR9","first-page":"350","volume-title":"Proceedings of the 22nd Annual Symposium on Foundations of Computer Science","author":"D. Dolev","year":"1981","unstructured":"Dolev, D., Yao, A.C.: On the security of public key protocols. In: Proceedings of the 22nd Annual Symposium on Foundations of Computer Science, Washington, DC, USA, pp. 350\u2013357. IEEE Computer Society Press, Los Alamitos (1981), doi:10.1109\/SFCS.1981.32"},{"key":"13_CR10","first-page":"246","volume-title":"Proceedings of the 2000 IEEE Symposium on Security and Privacy","author":"U. Erlingsson","year":"2000","unstructured":"Erlingsson, U., Schneider, F.B.: Irm enforcement of java stack inspection. In: Proceedings of the 2000 IEEE Symposium on Security and Privacy, Washington, DC, USA, pp. 246\u2013255. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"13_CR11","first-page":"253","volume-title":"Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference","author":"R. France","year":"2007","unstructured":"France, R., Fleurey, F., Reddy, R., Baudry, B., Ghosh, S.: Providing support for model composition in metamodels. In: Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference, Washington, DC, USA, p. 253. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Giorgini, P., Mouratidis, H., Zannone, N.: Modelling security and trust with secure tropos. In: Integrating Security and Software Engineering: Advances and Future Vision, IDEA (2006)","DOI":"10.4018\/978-1-59904-147-6"},{"key":"13_CR13","unstructured":"Group, O.: Security design pattern technical guide, \n                    \n                      http:\/\/www.opengroup.org\/security\/gsp.htm"},{"key":"13_CR14","unstructured":"G\u00fcrses, S.F., Berendt, B., Santen, T.: Multilateral security requirements analysis for preserving privacy in ubiquitous environments. In: Proc. of the Workshop on Ubiquitous Knowledge Discovery for Users at ECML\/PKDD, pp. 51\u201364 (2006)"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/1111596.1111601","volume":"28","author":"K.W. Hamlen","year":"2006","unstructured":"Hamlen, K.W., Morrisett, G., Schneider, F.B.: Computability classes for enforcement mechanisms. ACM Trans. Program. Lang. Syst.\u00a028, 175\u2013205 (2006), doi:10.1145\/1111596.1111601","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1452044.1452045","volume":"31","author":"B. Jacobs","year":"2008","unstructured":"Jacobs, B., Piessens, F., Smans, J., Leino, K.R.M., Schulte, W.: A programming model for concurrent object-oriented programs. ACM Trans. Program. Lang. Syst.\u00a031, 1\u20131 (2008), doi:10.1145\/1452044.1452045","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Kubo, A., Washizaki, H., Fukazawa, Y.: Extracting relations among security patterns. In: SPAQu\u201908 (Int. Workshop on Software Patterns and Quality) (2008)","DOI":"10.1145\/1753196.1753198"},{"issue":"2","key":"13_CR18","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.cosrev.2010.02.002","volume":"4","author":"A. Lazouski","year":"2010","unstructured":"Lazouski, A., Martinelli, F., Mori, P.: Usage control in computer security: A survey. Computer Science Review\u00a04(2), 81\u201399 (2010)","journal-title":"Computer Science Review"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-540-77505-8_7","volume-title":"Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues","author":"G. Guernic Le","year":"2008","unstructured":"Le Guernic, G., Banerjee, A., Jensen, T., Schmidt, D.A.: Automata-based confidentiality monitoring. In: Okada, M., Satoh, I. (eds.) ASIAN 2006. LNCS, vol.\u00a04435, pp. 75\u201389. Springer, Heidelberg (2008)"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"782","DOI":"10.1007\/978-3-540-87875-9_54","volume-title":"Model Driven Engineering Languages and Systems","author":"B. Morin","year":"2008","unstructured":"Morin, B., Fleurey, F., Bencomo, N., J\u00e9z\u00e9quel, J.-M., Solberg, A., Dehlen, V., Blair, G.S.: An aspect-oriented and model-driven approach for managing dynamic variability. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 782\u2013796. Springer, Heidelberg (2008)"},{"issue":"1","key":"13_CR21","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1145\/984334.984339","volume":"7","author":"J. Park","year":"2004","unstructured":"Park, J., Sandhu, R.S.: The ucon\n                    \n                      \n                    \n                    $_{\\mbox{abc}}$\n                   usage control model. ACM Trans. Inf. Syst. Secur.\u00a07(1), 128\u2013174 (2004)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"issue":"9","key":"13_CR22","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/1151030.1151053","volume":"49","author":"A. Pretschner","year":"2006","unstructured":"Pretschner, A., Hilty, M., Basin, D.A.: Distributed usage control. Commun. ACM\u00a049(9), 39\u201344 (2006)","journal-title":"Commun. ACM"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Rosado, D.G., Fernandez-Medina, E., Lopez, J.: Security services architecture for secure mobile grid systems. Journal of Systems Architecture. In Press (2010)","DOI":"10.1016\/j.sysarc.2010.05.009"},{"issue":"1","key":"13_CR24","doi-asserted-by":"publisher","first-page":"2003","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A. Sabelfeld","year":"2003","unstructured":"Sabelfeld, A., Myers, A.C.: Language-based information-flow security. IEEE Journal on Selected Areas in Communications\u00a021(1), 2003 (2003)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"13_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/978-3-540-75209-7_35","volume-title":"Model Driven Engineering Languages and Systems","author":"J. Whittle","year":"2007","unstructured":"Whittle, J., Moreira, A., Ara\u00fajo, J., Jayaraman, P., Elkhodary, A.M., Rabbi, R.: An expressive aspect composition language for UML state diagrams. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 514\u2013528. Springer, Heidelberg (2007)"},{"key":"13_CR26","doi-asserted-by":"publisher","first-page":"35","DOI":"10.2201\/NiiPi.2008.5.5","volume":"5","author":"N. Yoshioka","year":"2008","unstructured":"Yoshioka, N., Washizaki, H., Maruyama, K.: A survey on security patterns. Progress in Informatics\u00a05, 35\u201347 (2008)","journal-title":"Progress in Informatics"}],"container-title":["Lecture Notes in Computer Science","The Future Internet"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20898-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T22:10:30Z","timestamp":1558563030000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20898-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642208973","9783642208980"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20898-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}