Daniele Gorla and Rosario Pugliese. Enforcing security policies via types. In International Conference on Security in Pervasive Computing, LNCS, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
MIKADO Global Computing Project IST-2001-32222 - Mobile Calculi Based Self-citation (Gorla) (Correct)
No context found.
D. Gorla and R. Pugliese. Enforcing security policies via types. In D. Hutter, G. Mueller, W.Stephan, and M. Ullman, editors, Proc. of 1st Intern.Conf. on Security in Pervasive Computing (SPC'03), volume 2802 of LNCS, pages 88--103. Springer-Verlag, 2003.
The Klaim Project: Theory and Practice - Bettini, Bono, De Nicola.. (2003) (1 citation) Self-citation (Gorla Pugliese) (Correct)
No context found.
D. Gorla and R. Pugliese. Enforcing Security Policies via Types. In Proc. of the 1st International Conference on Security in Pervasive Computing (SPC'03), LNCS. Springer-Verlag, 2003.
Resource Access and Mobility Control with Dynamic.. - Gorla, Pugliese (2003) (8 citations) Self-citation (Gorla Pugliese) (Correct)
No context found.
D. Gorla and R. Pugliese. Enforcing Security Policies via Types. In Proc. of Security in Pervasive Computing (SPC'03), volume 2802 of LNCS, pages 88--103. Springer-Verlag, 2003.
Enforcing Security Policies via Types - Daniele Gorla And (2003) (2 citations) Self-citation (Gorla Pugliese) (Correct)
No context found.
D. Gorla and R. Pugliese. Enforcing Security Policies via Types. Research report, Dipartimento di Sistemi e Informatica, Universita di Firenze, 2003. Available at http://rap.dsi.unifi.it/pugliese/DOWNLOAD/spc-full.pdf.
Enforcing Security Policies via Types - Daniele Gorla Rosario (2003) (2 citations) Self-citation (Gorla Pugliese) (Correct)
....an application of our approach to model a bank account management system. Finally, in Section 6 we point out a few concluding remarks and comment on related work. Due to lack of space, in this extended abstract we omit some technical details and all proofs; they can be found in the full paper [22]. 2 The Process Language Klaim In this section we briefly present the syntax and informally describe the semantics of Klaim [21] a calculus to program distributed and mobile processes communicating asynchronously via shared data. Due to lack of space, some formal aspects (akin to those ....
....well typed net. Definition 1. A net N is well typed if for each node l : P in N it holds that # is l well formed and #(l) l P . 4 Operational Semantics and Type Soundness The operational behaviour of Klaim nets can be formalized via a structural congruence and a reduction relation, see [22] for details. Here we just point out some crucial points. The structural congruence gives a convenient way of rearranging the nodes of a net without a#ecting the behaviour of the net. It says that # is commutative and associative, that nil and 0 are the identities for and # resp. and ....
D. Gorla and R. Pugliese. Enforcing Security Policies via Types. Research report, Dipartimento di Sistemi e Informatica, Universita di Firenze, 2003. Available at http://rap.dsi.unifi.it/~pugliese/DOWNLOAD/spc-full.pdf.
Polytypic Functional Programming and Data Abstraction - Iglesias (2006) (Correct)
No context found.
Daniele Gorla and Rosario Pugliese. Enforcing security policies via types. In International Conference on Security in Pervasive Computing, LNCS, 2003.
A Survey of Some Implementation Techniques for Security Membranes - Lacoste (Correct)
No context found.
D. Gorla and R. Pugliese. Enforcing Security Policies via Types. In Proceedings Conference on Security in Pervasive Computing (SPC'03), 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC