-
1
-
-
84891796007
-
Observing for Changes: Non-Deducibility Based Analysis of Cyber-Physical Systems
-
(IFIP WG 11.10). Hanover, NH: Springer Boston, April
-
T. T. Gamage and B. M. McMillin, "Observing for Changes: Non-Deducibility Based Analysis of Cyber-Physical Systems", Proceedings of the 3rd International Federation for Information Processing Conference (IFIP WG 11.10). Hanover, NH: Springer Boston, (2009) April, pp. 169-183.
-
(2009)
Proceedings of the 3rd International Federation for Information Processing Conference
, pp. 169-183
-
-
Gamage, T.T.1
McMillin, B.M.2
-
2
-
-
70449466750
-
Cyber Physical Systems: Design Challenges
-
University of California, Berkeley Technical Report No. UCB/EECS-2008-8
-
E. Lee, "Cyber Physical Systems: Design Challenges", University of California, Berkeley Technical Report No. UCB/EECS-2008-8, (2008).
-
(2008)
-
-
Lee, E.1
-
5
-
-
78649632175
-
Analysis of information flow security in cyber-physical system
-
R. Akella, H. Tang and B. M. McMillin, "Analysis of information flow security in cyber-physical system", Analysis of information flow security in cyber-physical systems, International Journal of Critical Infrastructure Protection, vol. 3, (2010), pp. 157-173.
-
(2010)
Analysis of information flow security in cyber-physical systems, International Journal of Critical Infrastructure Protection
, vol.3
, pp. 157-173
-
-
Akella, R.1
Tang, H.2
McMillin, B.M.3
-
6
-
-
67650649695
-
Petri Net Security Checker: Structural Non-interference at Work
-
Springer LNCS
-
S. Frau, R. Gorrieri and C. Ferigato, "Petri Net Security Checker: Structural Non-interference at Work", Formal Aspects in Security and Trust, Springer LNCS, vol. 5491, (2009), pp. 210-225.
-
(2009)
Formal Aspects in Security and Trust
, vol.5491
, pp. 210-225
-
-
Frau, S.1
Gorrieri, R.2
Ferigato, C.3
-
7
-
-
35048832336
-
A Survey on NonInterference with Petri Nets
-
Springer LNCS
-
N. Busi and R. Gorrieri, "A Survey on NonInterference with Petri Nets", Advanced Course on Petri Nets 2003, Springer LNCS 3098:328-344, (2004).
-
(2004)
Advanced Course on Petri Nets 2003
, vol.3098
, pp. 328-344
-
-
Busi, N.1
Gorrieri, R.2
-
8
-
-
84988393004
-
Classification of Security Properties (Part I: Information Flow)
-
(R. Focardi and R.Gorrieri, Eds.), Springer LNCS
-
R. Focardi and R. Gorrieri, "Classification of Security Properties (Part I: Information Flow)", Foundations of Security Analysis and Design - Tutorial Lectures (R. Focardi and R.Gorrieri, Eds.), Springer LNCS 2171: 331-396, (2001).
-
(2001)
Foundations of Security Analysis and Design - Tutorial Lectures
, vol.2171
, pp. 331-396
-
-
Focardi, R.1
Gorrieri, R.2
-
9
-
-
79951991423
-
Analysis for the composition of information flow security properties on Petri net
-
Hefei, China, December
-
S. Chen, C.-H. Zhou, S.-G. Ju and H.-Y. Li, "Analysis for the composition of information flow security properties on Petri net", Proceedings of the 3rd IEEE International Conference on Information Science and Engineering, Hefei, China, (2010) December.
-
(2010)
Proceedings of the 3rd IEEE International Conference on Information Science and Engineering
-
-
Chen, S.1
Zhou, C.-H.2
Ju, S.-G.3
Li, H.-Y.4
-
10
-
-
84974776068
-
A Classification of Security Properties
-
R. Focardi and R. Gorrieri, "A Classification of Security Properties", Journal of Computer Security, vol. 3, no. 1, (1995), pp. 5-33.
-
(1995)
Journal of Computer Security
, vol.3
, Issue.1
, pp. 5-33
-
-
Focardi, R.1
Gorrieri, R.2
-
11
-
-
18944393517
-
On the Composition of Security Properties
-
Ph.D. dissertation, University of Toronto, Toronto, Ontario
-
A. Zakinthinos, "On the Composition of Security Properties", Ph.D. dissertation, University of Toronto, Toronto, Ontario, (1996).
-
(1996)
-
-
Zakinthinos, A.1
|