메뉴 건너뛰기




Volumn 74, Issue 6, 2008, Pages 1013-1032

Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models

Author keywords

Computer viruses; Differential equations; Population modelling; Process algebras

Indexed keywords

ALGEBRA; COMPUTER VIRUSES; COMPUTER WORMS; DIFFERENTIAL EQUATIONS; DYNAMIC MODELS; RANDOM PROCESSES; STOCHASTIC SYSTEMS;

EID: 47849107047     PISSN: 00220000     EISSN: 10902724     Source Type: Journal    
DOI: 10.1016/j.jcss.2007.07.005     Document Type: Article
Times cited : (45)

References (21)
  • 1
    • 47849118508 scopus 로고    scopus 로고
    • L. Bortolussi, Constraint-based approaches to stochastic dynamics of biological systems, PhD thesis, University of Udine, 2007
    • L. Bortolussi, Constraint-based approaches to stochastic dynamics of biological systems, PhD thesis, University of Udine, 2007
  • 2
    • 0035653172 scopus 로고    scopus 로고
    • Analysis of a multimedia stream using stochastic process algebras
    • Bowman H., Bryans J.W., and Derrick J. Analysis of a multimedia stream using stochastic process algebras. Comput. J. 44 4 (2001) 230-245
    • (2001) Comput. J. , vol.44 , Issue.4 , pp. 230-245
    • Bowman, H.1    Bryans, J.W.2    Derrick, J.3
  • 4
    • 47849108292 scopus 로고    scopus 로고
    • Jeremy T. Bradley, Jane Hillston, Using ODEs and continuous state-space approximation to analyse massively parallel process algebra models, Theoret. Comput. Sci. (2007), submitted for publication
    • Jeremy T. Bradley, Jane Hillston, Using ODEs and continuous state-space approximation to analyse massively parallel process algebra models, Theoret. Comput. Sci. (2007), submitted for publication
  • 5
    • 47849091007 scopus 로고    scopus 로고
    • Muffy Calder, Stephen Gilmore, Jane Hillston, Automatically deriving ODEs from process algebra models of signalling pathways, in: Gordon Plotkin (Ed.), Proceedings of Computational Methods in Systems Biology, CMSB 2005, Edinburgh, Scotland, April 2005, pp. 204-215
    • Muffy Calder, Stephen Gilmore, Jane Hillston, Automatically deriving ODEs from process algebra models of signalling pathways, in: Gordon Plotkin (Ed.), Proceedings of Computational Methods in Systems Biology, CMSB 2005, Edinburgh, Scotland, April 2005, pp. 204-215
  • 7
  • 8
    • 6444245859 scopus 로고    scopus 로고
    • Performance modelling of hierarchical cellular networks using PEPA
    • Forneau J.M., Kloul L., and Valois F. Performance modelling of hierarchical cellular networks using PEPA. Perform. Eval. 50 2-3 (November 2002) 83-99
    • (2002) Perform. Eval. , vol.50 , Issue.2-3 , pp. 83-99
    • Forneau, J.M.1    Kloul, L.2    Valois, F.3
  • 9
    • 0035330743 scopus 로고    scopus 로고
    • An efficient algorithm for aggregating PEPA models
    • Gilmore S., Hillston J., and Ribaudo M. An efficient algorithm for aggregating PEPA models. IEEE Trans. Softw. Engrg. 27 5 (2001) 449-464
    • (2001) IEEE Trans. Softw. Engrg. , vol.27 , Issue.5 , pp. 449-464
    • Gilmore, S.1    Hillston, J.2    Ribaudo, M.3
  • 10
    • 0003581104 scopus 로고    scopus 로고
    • A Compositional Approach to Performance Modelling
    • Cambridge University Press
    • Hillston J. A Compositional Approach to Performance Modelling. Disting. Diss. Comput. Sci. vol. 12 (1996), Cambridge University Press
    • (1996) Disting. Diss. Comput. Sci. , vol.12
    • Hillston, J.1
  • 12
    • 0000637833 scopus 로고
    • A PEPA specification of an industrial production cell
    • Process Algebra and Performance Modelling Workshop. Gilmore S., and Hillston J. (Eds). Special Issue: CEPIS, Edinburgh
    • Holton D.R.W. A PEPA specification of an industrial production cell. In: Gilmore S., and Hillston J. (Eds). Process Algebra and Performance Modelling Workshop. Special Issue: CEPIS, Edinburgh. Comput. J. 38 7 (June 1995) 542-551
    • (1995) Comput. J. , vol.38 , Issue.7 , pp. 542-551
    • Holton, D.R.W.1
  • 13
    • 84863981780 scopus 로고    scopus 로고
    • PRISM: Probabilistic symbolic model checker
    • Proc. of 12th Int. Conf. on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation, Springer-Verlag, London, UK
    • Kwiatkowska M., Norman G., and Parker D. PRISM: Probabilistic symbolic model checker. Proc. of 12th Int. Conf. on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation. Lecture Notes in Comput. Sci. vol. 2324 (April 2002), Springer-Verlag, London, UK 200-204
    • (2002) Lecture Notes in Comput. Sci. , vol.2324 , pp. 200-204
    • Kwiatkowska, M.1    Norman, G.2    Parker, D.3
  • 14
    • 18844367440 scopus 로고    scopus 로고
    • Simulating realistic network worm traffic for worm warning system design and testing
    • Washington, ACM
    • Liljenstam M., Nicol D.M., Berk V.H., and Gray R.S. Simulating realistic network worm traffic for worm warning system design and testing. WORMS '03. Washington (October 2003), ACM
    • (2003) WORMS '03
    • Liljenstam, M.1    Nicol, D.M.2    Berk, V.H.3    Gray, R.S.4
  • 16
    • 35248845354 scopus 로고    scopus 로고
    • Multiscale modeling and simulation of worm effects on the Internet routing infrastructure
    • TOOLS '03, Proceedings of Computer Performance Evaluation: Modelling Techniques and Tools. University of Illinois at Urbana-Champaign, Springer-Verlag
    • Nicol D., Liljenstam M., and Liu J. Multiscale modeling and simulation of worm effects on the Internet routing infrastructure. TOOLS '03, Proceedings of Computer Performance Evaluation: Modelling Techniques and Tools. University of Illinois at Urbana-Champaign. Lecture Notes in Comput. Sci. (September 2003), Springer-Verlag
    • (2003) Lecture Notes in Comput. Sci.
    • Nicol, D.1    Liljenstam, M.2    Liu, J.3
  • 17
    • 0242339708 scopus 로고    scopus 로고
    • Developing the use of process algebra in the derivation and analysis of mathematical models of infectious disease
    • EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Springer-Verlag
    • Norman R., and Shankland C. Developing the use of process algebra in the derivation and analysis of mathematical models of infectious disease. EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory. Lecture Notes in Comput. Sci. vol. 2809 (2003), Springer-Verlag 404-414
    • (2003) Lecture Notes in Comput. Sci. , vol.2809 , pp. 404-414
    • Norman, R.1    Shankland, C.2
  • 18
    • 47849111316 scopus 로고    scopus 로고
    • D. Sumpter, From bee to society: An agent-based investigation of honey bee colonies, PhD thesis, UMIST, 2000
    • D. Sumpter, From bee to society: An agent-based investigation of honey bee colonies, PhD thesis, UMIST, 2000
  • 19
    • 11244311770 scopus 로고    scopus 로고
    • Stochastic analysis of scheduling strategies in a GRID-based resource model
    • Thomas N., Bradley J.T., and Knottenbelt W.J. Stochastic analysis of scheduling strategies in a GRID-based resource model. IEE Softw. Engrg. 151 5 (September 2004) 232-239
    • (2004) IEE Softw. Engrg. , vol.151 , Issue.5 , pp. 232-239
    • Thomas, N.1    Bradley, J.T.2    Knottenbelt, W.J.3
  • 20
    • 0000367480 scopus 로고
    • Describing social insect behaviour using process algebra
    • Tofts C. Describing social insect behaviour using process algebra. Trans. Soc. Comput. Simul. 10 (1992) 227-283
    • (1992) Trans. Soc. Comput. Simul. , vol.10 , pp. 227-283
    • Tofts, C.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.