-
2
-
-
54249094201
-
Spatial and behavioral types in the π-calculus
-
In: van Breugel, F., Chechik, M. (eds.), LNCS Springer, Heidelberg
-
Acciai, L., Boreale, M.: Spatial and behavioral types in the p̂-calculus. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.5201, pp. 372-386. Springer, Heidelberg (2008)
-
(2008)
CONCUR 2008
, vol.5201
, pp. 372-386
-
-
Acciai, L.1
Boreale, M.2
-
4
-
-
24644498665
-
History-based access control with local policies
-
Foundations of Software Science and Computational Structures - 8th Int. Conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Proc.
-
Bartoletti, M., Degano, P., Ferrari, G.L.: History-based access control with local policies. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.3441, pp. 316-332. Springer, Heidelberg (2005) (Pubitemid 41273715)
-
(2005)
Lecture Notes in Computer Science
, vol.3441
, pp. 316-332
-
-
Bartoletti, M.1
Degano, P.2
Ferrari, G.L.3
-
5
-
-
33947674820
-
Types and effects for secure service orchestration
-
DOI 10.1109/CSFW.2006.31, 1648708, Proceedings - 19th IEEE Computer Security Foundations Workshop, CSFW 2006
-
Bartoletti, M., Degano, P., Ferrari, G.L.: Types and effects for secure service orchestration. In: Proc. 19th CSFW (2006) (Pubitemid 46499717)
-
(2006)
Proceedings of the Computer Security Foundations Workshop
, vol.2006
, pp. 57-69
-
-
Bartoletti, M.1
Degano, P.2
Ferrari, G.L.3
-
6
-
-
37149004953
-
Types and effects for resource usage analysis
-
Foundations of Software Science and Computational Structures - 10th International Conference, FOSSACS 2007. Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007
-
Bartoletti, M., Degano, P., Ferrari, G.L., Zunino, R.: Types and effects for resource usage analysis. In: Seidl, H. (ed.) FOSSACS 2007. LNCS, vol.4423, pp. 32-47. Springer, Heidelberg (2007) (Pubitemid 350259694)
-
(2007)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4423
, pp. 32-47
-
-
Baitoletti, M.1
Degano, P.2
Ferrari, G.L.3
Zunino, R.4
-
7
-
-
67650315879
-
Model checking usage policies
-
Bartoletti, M., Degano, P., Ferrari, G.L., Zunino, R.: Model checking usage policies. Technical Report TR-08-106, Dip. Informatica, Univ. Pisa (2008)
-
(2008)
Technical Report TR-08-106, Dip. Informatica, Univ. Pisa
-
-
Bartoletti, M.1
Degano, P.2
Ferrari, G.L.3
Zunino, R.4
-
8
-
-
40449126543
-
Semantics-based design for secure web services
-
DOI 10.1109/TSE.2007.70740
-
Bartoletti, M., Degano, P., Ferrari, G.L., Zunino, R.: Semantics-based design for secure web services. IEEE Transactions on Software Engineering 34(1) (2008) (Pubitemid 351343901)
-
(2008)
IEEE Transactions on Software Engineering
, vol.34
, Issue.1
, pp. 33-49
-
-
Bartoletti, M.1
Degano, P.2
Ferrari, G.-L.3
Zunino, R.4
-
12
-
-
0021870594
-
Algebra of communicating processes with abstraction
-
Bergstra, J.A., Klop, J.W.: Algebra of communicating processes with abstraction. Theoretical Computer Science 37, 77-121 (1985)
-
(1985)
Theoretical Computer Science
, vol.37
, pp. 77-121
-
-
Bergstra, J.A.1
Klop, J.W.2
-
14
-
-
51049123210
-
Types and deadlock freedom in a calculus of services, sessions and pipelines
-
In: Meseguer, J., Ro̧su, G. (eds.), LNCS, Springer, Heidelberg
-
Bruni, R., Mezzina, L.G.: Types and deadlock freedom in a calculus of services, sessions and pipelines. In: Meseguer, J., Ro̧su, G. (eds.) AMAST 2008. LNCS, vol.5140, pp. 100-115. Springer, Heidelberg (2008)
-
(2008)
AMAST 2008
, vol.5140
, pp. 100-115
-
-
Bruni, R.1
Mezzina, L.G.2
-
19
-
-
85010943862
-
On the decidability of model checking for several
-
In: Tison, S. (ed.) CAAP 1994. LNCS, Springer, Heidelberg
-
Esparza, J.: On the decidability of model checking for several μ̂-calculi and Petri nets. In: Tison, S. (ed.) CAAP 1994. LNCS, vol.787. Springer, Heidelberg (1994)
-
(1994)
μ-Calculi and Petri Nets
, vol.787
-
-
Esparza, J.1
-
21
-
-
0034714632
-
Type reconstruction for linear-calculus with i/o subtyping
-
Igarashi, A., Kobayashi, N.: Type reconstruction for linear -calculus with i/o subtyping. Inf. Comput. 161(1), 1-44 (2000)
-
(2000)
Inf. Comput.
, vol.161
, Issue.1
, pp. 1-44
-
-
Igarashi, A.1
Kobayashi, N.2
-
26
-
-
67650297709
-
Enforcing Safety Properties Using Type Specialization
-
Programming Languages and Systems
-
Thiemann, P.: Enforcing safety properties using type specialization. In: Sands, D. (ed.) ESOP 2001. LNCS, vol.2028, p. 62. Springer, Heidelberg (2001) (Pubitemid 33256351)
-
(2001)
LECTURE NOTES IN COMPUTER SCIENCE
, Issue.2028
, pp. 62-76
-
-
Thiemann, P.1
-
27
-
-
33750274822
-
HBAC: A model for history-based access control and its model checking
-
Computer Security - ESORICS 2006 - 11th European Symposium on Research in Computer Security, Proceedings
-
Wang, J., Takata, Y., Seki, H.: HBAC: A model for history-based access control and its model checking. In: Gollmann, D., Meier, J., Sabelfeld, A. (eds.) ESORICS 2006. LNCS, vol.4189, pp. 263-278. Springer, Heidelberg (2006) (Pubitemid 44609861)
-
(2006)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4189
, pp. 263-278
-
-
Wang, J.1
Takata, Y.2
Seki, H.3
|