{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:07:16Z","timestamp":1725552436096},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642124587"},{"type":"electronic","value":"9783642124594"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12459-4_12","type":"book-chapter","created":{"date-parts":[[2010,4,29]],"date-time":"2010-04-29T06:49:38Z","timestamp":1272523778000},"page":"157-172","source":"Crossref","is-referenced-by-count":0,"title":["A Calculus of Trustworthy Ad Hoc Networks"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Merro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eleonora","family":"Sibilio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","first-page":"164","volume-title":"Decentralized Trust Management. In: Symposium on Security and Privacy","author":"M. Blaze","year":"1996","unstructured":"Blaze, M., Feigenbaum, J., Lacy, J.: Decentralized Trust Management. In: Symposium on Security and Privacy, pp. 164\u2013173. IEEE Computer Society, Los Alamitos (1996)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Grandison, T.W.A.: Trust Management for Internet Applications. PhD thesis, Department of Computing, University of London (2003)","DOI":"10.1007\/3-540-44875-6_7"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Bell, D.E., LaPadula, L.J.: Secure Computer System: Unified Exposition and Multics Interpretation. Technical Report MTR-2997, MITRE Corporation (1975)","DOI":"10.21236\/ADA023588"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/j.entcs.2006.04.017","volume":"158","author":"N. Mezzetti","year":"2006","unstructured":"Mezzetti, N., Sangiorgi, D.: Towards a Calculus For Wireless Systems. Electronic Notes in Theoretical Computer Science\u00a0158, 331\u2013353 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"1-2","key":"12_CR5","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/j.tcs.2006.08.036","volume":"367","author":"S. Nanz","year":"2006","unstructured":"Nanz, S., Hankin, C.: A Framework for Security Analysis of Mobile Wireless Networks. Theoretical Computer Science\u00a0367(1-2), 203\u2013227 (2006)","journal-title":"Theoretical Computer Science"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-540-68265-3_19","volume-title":"Coordination Models and Languages","author":"A. Singh","year":"2008","unstructured":"Singh, A., Ramakrishnan, C.R., Smolka, S.A.: A Process Calculus for Mobile Ad Hoc Networks. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 296\u2013314. Springer, Heidelberg (2008)"},{"issue":"2","key":"12_CR7","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.ic.2007.11.010","volume":"207","author":"M. Merro","year":"2009","unstructured":"Merro, M.: An Observational Theory for Mobile Ad Hoc Networks (full paper). Information and Computation\u00a0207(2), 194\u2013208 (2009)","journal-title":"Information and Computation"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-72794-1_8","volume-title":"Coordination Models and Languages","author":"J. Godskesen","year":"2007","unstructured":"Godskesen, J.: A Calculus for Mobile Ad Hoc Networks. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol.\u00a04467, pp. 132\u2013150. Springer, Heidelberg (2007)"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/978-3-642-11623-0_6","volume-title":"FSEN 2009","author":"F. Ghassemi","year":"2010","unstructured":"Ghassemi, F., Fokkink, W., Movaghar, A.: Equational Reasoning on Ad Hoc Networks. In: Sirjani, M. (ed.) FSEN 2009. LNCS, vol.\u00a05961, pp. 113\u2013128. Springer, Heidelberg (2010)"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-642-02053-7_6","volume-title":"Coordination Models and Languages","author":"J.C. Godskesen","year":"2009","unstructured":"Godskesen, J.C., Nanz, S.: Mobility Models and Behavioural Equivalence for Wireless Networks. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol.\u00a05521, pp. 106\u2013122. Springer, Heidelberg (2009)"},{"issue":"4","key":"12_CR11","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1016\/j.adhoc.2007.04.006","volume":"6","author":"D. Huang","year":"2008","unstructured":"Huang, D., Medhi, D.: A Secure Group Key Management Scheme for Hierarchical Mobile Ad Hoc Networks. Ad Hoc Networks\u00a06(4), 560\u2013577 (2008)","journal-title":"Ad Hoc Networks"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1007\/3-540-55719-9_114","volume-title":"Automata, Languages and Programming","author":"R. Milner","year":"1992","unstructured":"Milner, R., Sangiorgi, D.: Barbed Bisimulation. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol.\u00a0623, pp. 685\u2013695. Springer, Heidelberg (1992)"},{"key":"12_CR13","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"12_CR14","first-page":"76","volume-title":"SECON","author":"M. Shehab","year":"2005","unstructured":"Shehab, M., Bertino, E., Ghafoor, A.: Efficient Hierarchical Key Generation and Key Diffusion for Sensor Networks. In: SECON, pp. 76\u201384. IEEE Communications Society, Los Alamitos (2005)"},{"key":"12_CR15","first-page":"397","volume-title":"ICPP Workshops 2003","author":"R. Pietro Di","year":"2003","unstructured":"Di Pietro, R., Mancini, L.V., Law, Y.W., Etalle, S., Havinga, P.J.M.: LKHW: A Directed Diffusion-Based Secure Multicast Scheme for Wireless Sensor Networks. In: ICPP Workshops 2003, pp. 397\u2013413. IEEE Computer Society, Los Alamitos (2003)"},{"issue":"4","key":"12_CR16","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1145\/581771.581775","volume":"49","author":"K. Bhargavan","year":"2002","unstructured":"Bhargavan, K., Obradovic, D., Gunter, C.A.: Formal Verification of Standards for Distance Vector Routing Protocols. Journal of the ACM\u00a049(4), 538\u2013576 (2002)","journal-title":"Journal of the ACM"},{"issue":"8","key":"12_CR17","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1016\/j.ic.2007.01.001","volume":"205","author":"S. Crafa","year":"2007","unstructured":"Crafa, S., Rossi, S.: Controlling Information Release in the \u03c0-calculus. Information and Computation\u00a0205(8), 1235\u20131273 (2007)","journal-title":"Information and Computation"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security Policies and Security Models. In: IEEE Symposium on Security and Privacy, pp. 11\u201320 (1982)","DOI":"10.1109\/SP.1982.10014"},{"issue":"1","key":"12_CR19","doi-asserted-by":"crossref","first-page":"5","DOI":"10.3233\/JCS-1994\/1995-3103","volume":"3","author":"R. Focardi","year":"1995","unstructured":"Focardi, R., Gorrieri, R.: A Classification of Security Properties for Process Algebras. Journal of Computer Security\u00a03(1), 5\u201333 (1995)","journal-title":"Journal of Computer Security"},{"issue":"1","key":"12_CR20","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/357084.357088","volume":"2","author":"R. Reitman","year":"1980","unstructured":"Reitman, R., Andrews, G.: An Axiomatic Approach to Information Flow in Programs. ACM Transactions on Programming Languages and Systems\u00a02(1), 56\u201376 (1980)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"12_CR21","first-page":"355","volume-title":"Proc. 25th POPL","author":"G. Smith","year":"1998","unstructured":"Smith, G., Volpano, D.: Secure Information Flow in a Multi-threaded Imperative Language. In: Proc. 25th POPL, pp. 355\u2013364. ACM Press, New York (1998)"},{"key":"12_CR22","first-page":"365","volume-title":"Proc. 25th POPL","author":"N. Heintz","year":"1998","unstructured":"Heintz, N., Riecke, J.G.: The SLam Calculus: Programming with Secrecy and Integrity. In: Proc. 25th POPL, pp. 365\u2013377. ACM Press, New York (1998)"},{"issue":"1","key":"12_CR23","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1006\/inco.2000.3020","volume":"168","author":"C. Bodei","year":"2001","unstructured":"Bodei, C., Degano, P., Nielson, F., Nielson, H.R.: Static Analysis for the pi-Calculus with Applications to Security. Information and Computation\u00a0168(1), 68\u201392 (2001)","journal-title":"Information and Computation"},{"issue":"1-2","key":"12_CR24","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0304-3975(02)00010-5","volume":"281","author":"G. Boudol","year":"2002","unstructured":"Boudol, G., Castellani, I.: Noninterference for Concurrent Programs and Thread Systems. Theoretical Computer Science\u00a0281(1-2), 109\u2013130 (2002)","journal-title":"Theoretical Computer Science"},{"key":"12_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/978-3-540-69295-9_34","volume-title":"Autonomic and Trusted Computing","author":"M. Komarova","year":"2008","unstructured":"Komarova, M., Riguidel, M.: Adjustable Trust Model for Access Control. In: Rong, C., Jaatun, M.G., Sandnes, F.E., Yang, L.T., Ma, J. (eds.) ATC 2008. LNCS, vol.\u00a05060, pp. 429\u2013443. Springer, Heidelberg (2008)"},{"issue":"1","key":"12_CR26","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jlap.2004.01.003","volume":"63","author":"M. Hennessy","year":"2005","unstructured":"Hennessy, M.: The Security pi-calculus and Non-Interference. Journal of Logic and Algebraic Programming\u00a063(1), 3\u201334 (2005)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"12_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1007\/978-3-642-11623-0_13","volume-title":"FSEN 2009","author":"M. Merro","year":"2010","unstructured":"Merro, M., Sibilio, E.: A Timed Calculus for Wireless Systems. In: Arbab, F., Sirjani, M. (eds.) FSEN 2009. LNCS, vol.\u00a05961, pp. 228\u2013243. Springer, Heidelberg (2010)"},{"key":"12_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-540-30538-5_14","volume-title":"FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science","author":"M. Carbone","year":"2004","unstructured":"Carbone, M., Nielsen, M., Sassone, V.: A Calculus for Trust Management. In: Lodaya, K., Mahajan, M. (eds.) FSTTCS 2004. LNCS, vol.\u00a03328, pp. 161\u2013173. Springer, Heidelberg (2004)"},{"key":"12_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/11494881_8","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"F. Martinelli","year":"2005","unstructured":"Martinelli, F.: Towards an Integrated Formal Analysis for Security and Trust. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol.\u00a03535, pp. 115\u2013130. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects in Security and Trust"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12459-4_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:54:10Z","timestamp":1606186450000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12459-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642124587","9783642124594"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12459-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}