{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:49:08Z","timestamp":1725515348746},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540686767"},{"type":"electronic","value":"9783540686798"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68679-8_27","type":"book-chapter","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T02:58:16Z","timestamp":1213066696000},"page":"439-456","source":"Crossref","is-referenced-by-count":4,"title":["Secure Data Flow in a Calculus for Context Awareness"],"prefix":"10.1007","author":[{"given":"Doina","family":"Bucur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mogens","family":"Nielsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/3-540-48157-5_29","volume-title":"Handheld and Ubiquitous Computing","author":"G.D. Abowd","year":"1999","unstructured":"Abowd, G.D., Dey, A.K., Brown, P.J., Davies, N., Smith, M., Steggles, P.: Towards a better understanding of context and context-awareness. In: Gellersen, H.-W. (ed.) HUC 1999. LNCS, vol.\u00a01707, pp. 304\u2013307. Springer, Heidelberg (1999)"},{"key":"27_CR2","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1145\/1031607.1031639","volume-title":"CSCW 2004: Proceedings of the 2004 ACM conference on Computer supported cooperative work","author":"J.E. Bardram","year":"2004","unstructured":"Bardram, J.E., Hansen, T.R.: The AWARE architecture: supporting context-mediated social awareness in mobile cooperation. In: CSCW 2004: Proceedings of the 2004 ACM conference on Computer supported cooperative work, pp. 192\u2013201. ACM Press, New York (2004)"},{"key":"27_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11690634_13","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Birkedal","year":"2006","unstructured":"Birkedal, L., Debois, S., Elsborg, E., Hildebrandt, T., Niss, H.: Bigraphical models of context-aware systems. In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) FOSSACS 2006. LNCS, vol.\u00a03921. Springer, Heidelberg (2006)"},{"key":"27_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/11560647_24","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2005","author":"G. Boudol","year":"2005","unstructured":"Boudol, G.: On typing information flow. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS, vol.\u00a03722, pp. 366\u2013380. Springer, Heidelberg (2005)"},{"unstructured":"Braione, P.: Operational congruences for contextual reactive systems. Technical Report, 33, DEI, Politecnico di Milano (2004)","key":"27_CR5"},{"issue":"2-3","key":"27_CR6","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s11036-007-0015-3","volume":"12","author":"D. Bucur","year":"2007","unstructured":"Bucur, D., Bardram, J.E.: Resource discovery in activity-based sensor networks. Mobile Networks and Applications (MONET)\u00a012(2-3), 129\u2013142 (2007)","journal-title":"Mobile Networks and Applications (MONET)"},{"key":"27_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/3-540-45500-0_2","volume-title":"Theoretical Aspects of Computer Software","author":"M. Bugliesi","year":"2001","unstructured":"Bugliesi, M., Castagna, G., Crafa, S.: Boxed ambients. In: Kobayashi, N., Pierce, B.C. (eds.) TACS 2001. LNCS, vol.\u00a02215, pp. 38\u201363. Springer, Heidelberg (2001)"},{"key":"27_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/3-540-44685-0_8","volume-title":"CONCUR 2001 - Concurrency Theory","author":"M. Bugliesi","year":"2001","unstructured":"Bugliesi, M., Castagna, G., Crafa, S.: Reasoning about security in mobile ambients. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 102\u2013120. Springer, Heidelberg (2001)"},{"issue":"2","key":"27_CR9","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1016\/S0890-5401(01)93121-9","volume":"177","author":"L. Cardelli","year":"2002","unstructured":"Cardelli, L., Ghelli, G., Gordon, A.D.: Types for the ambient calculus. Inf. Comput.\u00a0177(2), 160\u2013194 (2002)","journal-title":"Inf. Comput."},{"key":"27_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, Springer, Heidelberg (1998)"},{"unstructured":"Chen, G., Kotz, D.: A Survey of Context-Aware Mobile Computing Research. Dartmouth Computer Science Technical Report TR2000-381 (2000)","key":"27_CR11"},{"key":"27_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-48157-5_19","volume-title":"Handheld and Ubiquitous Computing","author":"K. Cheverst","year":"1999","unstructured":"Cheverst, K., Davies, N., Mitchell, K., Friday, A.: The role of connectivity in supporting context-sensitive applications. In: Gellersen, H.-W. (ed.) HUC 1999. LNCS, vol.\u00a01707, pp. 193\u2013207. Springer, Heidelberg (1999)"},{"doi-asserted-by":"crossref","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Giovannetti, E., Salvo, I.: Mobility types for mobile processes in mobile ambients. Electronic Notes in Theoretical Computer Science\u00a078 (2002)","key":"27_CR13","DOI":"10.1016\/S1571-0661(04)81011-9"},{"issue":"1:3","key":"27_CR14","first-page":"1","volume":"1","author":"D. Gorla","year":"2005","unstructured":"Gorla, D., Hennessy, M., Sassone, V.: Security policies as membranes in systems for global computing. Logical Methods in Computer Science\u00a01(1:3), 1\u201323 (2005)","journal-title":"Logical Methods in Computer Science"},{"key":"27_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/978-3-540-39881-3_10","volume-title":"Security in Pervasive Computing","author":"D. Gorla","year":"2004","unstructured":"Gorla, D., Pugliese, R.: Enforcing security policies via types. In: Hutter, D., M\u00fcller, G., Stephan, W., Ullmann, M. (eds.) Security in Pervasive Computing. LNCS, vol.\u00a02802, pp. 86\u2013100. Springer, Heidelberg (2004)"},{"key":"27_CR16","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/j.entcs.2004.04.040","volume":"97","author":"C. Julien","year":"2004","unstructured":"Julien, C., Payton, J., Roman, G.-C.: Reasoning about context-awareness in the presence of mobility. Electr. Notes Theor. Comput. Sci.\u00a097, 259\u2013276 (2004)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Kj\u00e6rgaard, M.B., Bunde-Pedersen, J.: Towards a formal model of context awareness. In: First International Workshop on Combining Theory and Systems Building in Pervasive Computing 2006 (CTSB 2006) (2006)","key":"27_CR17","DOI":"10.7146\/brics.v13i2.21908"},{"key":"27_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/978-3-540-24721-0_2","volume-title":"Fundamental Approaches to Software Engineering","author":"G.C. Roman","year":"2004","unstructured":"Roman, G.C., Julien, C., Payton, J.: A formal treatment of context-awareness. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 12\u201336. Springer, Heidelberg (2004)"},{"doi-asserted-by":"crossref","unstructured":"Schilit, B., Adams, N., Want, R.: Context-aware computing applications. In: IEEE Workshop on Mobile Computing Systems and Applications (1994)","key":"27_CR19","DOI":"10.1109\/WMCSA.1994.16"},{"unstructured":"Schilit, B.N.: A System Architecture for Context-Aware Mobile Computing. PhD thesis (1995)","key":"27_CR20"},{"doi-asserted-by":"crossref","unstructured":"Want, R., Hopper, A., Falc\u00e3o, V., Gibbons, J.: The active badge location system. Technical Report 92.1, Olivetti Research Ltd. (ORL) (1992)","key":"27_CR21","DOI":"10.1145\/128756.128759"},{"unstructured":"Zimmer, P.: A calculus for context-awareness. Technical Report BRICS Report Series RS-05-27","key":"27_CR22"}],"container-title":["Lecture Notes in Computer Science","Concurrency, Graphs and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68679-8_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T21:47:58Z","timestamp":1557611278000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68679-8_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540686767","9783540686798"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68679-8_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}