-
1
-
-
58449121251
-
Automatic discovery of network attack scenarios using SPIN model checker
-
Shiraz, Iran, pp
-
Abadi, M. and Jalili, S. "Automatic discovery of network attack scenarios using SPIN model checker", In Proceedings of the International Symposium on Telecommunications, Shiraz, Iran, pp. 81-86 (2005).
-
(2005)
Proceedings of the International Symposium on Telecommunications
, pp. 81-86
-
-
Abadi, M.1
Jalili, S.2
-
2
-
-
84988504967
-
A graph-based system for network-vulnerability analysis
-
Charlottesville, VA, USA, pp
-
Phillips, C. and Swiler, L.P. "A graph-based system for network-vulnerability analysis", In Proceedings of the 1998 Workshop on New Security Paradigms, Charlottesville, VA, USA, pp. 71-79 (1998).
-
(1998)
Proceedings of the 1998 Workshop on New Security Paradigms
, pp. 71-79
-
-
Phillips, C.1
Swiler, L.P.2
-
3
-
-
0036083194
-
Automated generation and analysis of attack graphs
-
Berkeley, CA, USA, pp
-
Sheyner, O., Haines, J., Jha, S., Lippmann, R. and Wing, J.M. "Automated generation and analysis of attack graphs", In Proceedings of the 2002 IEEE Symposium on Security and Privacy, Berkeley, CA, USA, pp. 273-284 (2002).
-
(2002)
Proceedings of the 2002 IEEE Symposium on Security and Privacy
, pp. 273-284
-
-
Sheyner, O.1
Haines, J.2
Jha, S.3
Lippmann, R.4
Wing, J.M.5
-
4
-
-
0038628539
-
Minimization and reliability analysis of attack graphs
-
Technical Report CMU-CS-02-109, School of Computer Science, Carnegie Mellon University
-
Jha, S., Sheyner, O. and Wing, J.M. "Minimization and reliability analysis of attack graphs", Technical Report CMU-CS-02-109, School of Computer Science, Carnegie Mellon University (2002).
-
(2002)
-
-
Jha, S.1
Sheyner, O.2
Wing, J.M.3
-
5
-
-
84948760464
-
Two formal analyses of attack graphs
-
Nova Scotia, Canada, pp
-
Jha, S., Sheyner, O. and Wing, J.M. "Two formal analyses of attack graphs", In Proceedings of the 15th IEEE Computer Security Foundations Workshop, Cape Breton, Nova Scotia, Canada, pp. 49-63 (2002),
-
(2002)
Proceedings of the 15th IEEE Computer Security Foundations Workshop, Cape Breton
, pp. 49-63
-
-
Jha, S.1
Sheyner, O.2
Wing, J.M.3
-
7
-
-
0038687692
-
Scalable, graph-based network vulnerability analysis
-
Washington DC, USA, pp
-
Ammann, P., Wijesekera, D. and Kaushik, S. "Scalable, graph-based network vulnerability analysis", In Proceedings of the 9th ACM Conference on Computer and Communications Security, Washington DC, USA, pp. 217-224 (2002).
-
(2002)
Proceedings of the 9th ACM Conference on Computer and Communications Security
, pp. 217-224
-
-
Ammann, P.1
Wijesekera, D.2
Kaushik, S.3
-
8
-
-
33749520206
-
Multiple coordinated views for network attack graphs
-
Minneapolis, MN, USA, pp
-
Noel, S., Jacobs, M., Kalapa, P. and Jajodia, S. "Multiple coordinated views for network attack graphs", In Proceedings of the IEEE Workshop on Visualization for Computer Security (VizSEC 2005), Minneapolis, MN, USA, pp. 99-106 (2005).
-
(2005)
Proceedings of the IEEE Workshop on Visualization for Computer Security (VizSEC 2005)
, pp. 99-106
-
-
Noel, S.1
Jacobs, M.2
Kalapa, P.3
Jajodia, S.4
-
9
-
-
33750288536
-
Ranking attack graphs
-
Hamburg, Germany, pp
-
Mehta, V., Bartzis, C., Zhu, H., Clarke, E.M. and Wing, J.M. "Ranking attack graphs", In Proceedings of the 9th International Symposium on Recent Advances in Intrusion Detection (RAID 2006), Hamburg, Germany, pp. 127-144 (2006).
-
(2006)
Proceedings of the 9th International Symposium on Recent Advances in Intrusion Detection (RAID 2006)
, pp. 127-144
-
-
Mehta, V.1
Bartzis, C.2
Zhu, H.3
Clarke, E.M.4
Wing, J.M.5
-
10
-
-
0029535737
-
Particle swarm optimization
-
Perth, Australia, pp
-
Kennedy, J. and Eberhart, R.C. "Particle swarm optimization", In Proceedings of the IEEE International Joint Conference on Neural Networks, Perth, Australia, pp. 1942-1948 (1995).
-
(1995)
Proceedings of the IEEE International Joint Conference on Neural Networks
, pp. 1942-1948
-
-
Kennedy, J.1
Eberhart, R.C.2
-
11
-
-
0004222346
-
-
Morgan Kaufmann, San Mateo, CA, USA
-
Kennedy, J., Eberhart, R.C. and Shi, Y., Swarm Intelligence, Morgan Kaufmann, San Mateo, CA, USA (2001).
-
(2001)
Swarm Intelligence
-
-
Kennedy, J.1
Eberhart, R.C.2
Shi, Y.3
-
12
-
-
0005260335
-
Particle swarm optimizer in noisy and continuously changing environments
-
M.H. Hamza, Ed, IASTED/ACTA Press, Anaheim, CA, USA, pp
-
Parsopoulos, K.E. and Vrahatis, M.N. "Particle swarm optimizer in noisy and continuously changing environments", Artificial Intelligence and Soft Computing, M.H. Hamza, Ed., IASTED/ACTA Press, Anaheim, CA, USA, pp. 289-294 (2001).
-
(2001)
Artificial Intelligence and Soft Computing
, pp. 289-294
-
-
Parsopoulos, K.E.1
Vrahatis, M.N.2
-
13
-
-
33847673213
-
A comparative study on particle swarm optimization for optimal steady-state performance of power systems
-
Vlachogiannis, J.G. and Lee, K.Y. "A comparative study on particle swarm optimization for optimal steady-state performance of power systems", IEEE Transactions on Power Systems, 21(4), pp. 1718-1728 (2006).
-
(2006)
IEEE Transactions on Power Systems
, vol.21
, Issue.4
, pp. 1718-1728
-
-
Vlachogiannis, J.G.1
Lee, K.Y.2
-
14
-
-
33344465876
-
Constricted local-neighborhood particle swarm optimization with passive congregation applied in reactive power and voltage control
-
Vlachogiannis, J.G. "Constricted local-neighborhood particle swarm optimization with passive congregation applied in reactive power and voltage control", Electric Power Components and Systems, 34(5), pp. 509-520 (2006).
-
(2006)
Electric Power Components and Systems
, vol.34
, Issue.5
, pp. 509-520
-
-
Vlachogiannis, J.G.1
-
15
-
-
34548710825
-
Using the particle swarm optimization algorithm for robotic Search applications
-
Honolulu, HI, USA, pp
-
Hereford, J.M., Siebold, M. and Nichols, S. "Using the particle swarm optimization algorithm for robotic Search applications", In Proceedings of the 2007 IEEE Swarm Intelligence Symposium, Honolulu, HI, USA, pp. 53-59 (2007).
-
(2007)
Proceedings of the 2007 IEEE Swarm Intelligence Symposium
, pp. 53-59
-
-
Hereford, J.M.1
Siebold, M.2
Nichols, S.3
-
16
-
-
33845385672
-
-
John Wiley & Sons, Hoboken, NJ, USA
-
Engelbrecht, A.P., Fundamentals of Computational Swarm Intelligence, John Wiley & Sons, Hoboken, NJ, USA (2005).
-
(2005)
Fundamentals of Computational Swarm Intelligence
-
-
Engelbrecht, A.P.1
-
17
-
-
0004007325
-
-
Academic Press, San Diego, CA, USA
-
Eberhart, R.C., Simpson, P. and Dobbins, R., Computational Intelligence PC Tools, Academic Press, San Diego, CA, USA (1996).
-
(1996)
Computational Intelligence PC Tools
-
-
Eberhart, R.C.1
Simpson, P.2
Dobbins, R.3
-
18
-
-
12744257704
-
Particle Swarm Optimization
-
Shi, Y. "Particle Swarm Optimization", IEEE Connections, 2(1), pp. 8-13 (2004).
-
(2004)
IEEE Connections
, vol.2
, Issue.1
, pp. 8-13
-
-
Shi, Y.1
-
19
-
-
0031352450
-
A discrete binary version of the particle swarm algorithm
-
Man, and Cybernetics, Orlando, FL, USA, pp
-
Kennedy, J. and Eberhart, R.C. "A discrete binary version of the particle swarm algorithm", In Proceedings of the 1997 IEEE International Conference on Systems, Man, and Cybernetics, Orlando, FL, USA, pp. 4104-4109 (1997).
-
(1997)
Proceedings of the 1997 IEEE International Conference on Systems
, pp. 4104-4109
-
-
Kennedy, J.1
Eberhart, R.C.2
-
21
-
-
84896721435
-
Empirical study of particle swarm optimization
-
Washington DC, USA, pp
-
Shi, Y. and Eberhart, R.C. "Empirical study of particle swarm optimization", In Proceedings of the 1999 IEEE Congress on Evolutionary Computation, Washington DC, USA, pp. 1945-1950 (1999).
-
(1999)
Proceedings of the 1999 IEEE Congress on Evolutionary Computation
, pp. 1945-1950
-
-
Shi, Y.1
Eberhart, R.C.2
-
22
-
-
38949112140
-
A survey of ant colony and particle swarm meta-heuristics and their application to discrete optimisation problems
-
Adelaide, Australia, pp
-
Hendtlass, T. and Randall, M. "A survey of ant colony and particle swarm meta-heuristics and their application to discrete optimisation problems", In Proceedings of the Inaugural Workshop on Artificial Life, Adelaide, Australia, pp. 15-25 (2001).
-
(2001)
Proceedings of the Inaugural Workshop on Artificial Life
, pp. 15-25
-
-
Hendtlass, T.1
Randall, M.2
-
23
-
-
84943229948
-
-
Braendler, D. and Hendtlass, T. The suitability of particle swarm optimisation for training neural hardware, In Proceedings of the 15th International Conference on Industrial and Engineering, Applications of Artificial Intelligence and Expert Systems, Cairns, Australia, LNCS 2358, pp. 190-199 (2002).
-
Braendler, D. and Hendtlass, T. "The suitability of particle swarm optimisation for training neural hardware", In Proceedings of the 15th International Conference on Industrial and Engineering, Applications of Artificial Intelligence and Expert Systems, Cairns, Australia, LNCS 2358, pp. 190-199 (2002).
-
-
-
-
24
-
-
2442459652
-
-
Springer-Verlag, Berlin, Germany
-
Eiben, A.E. and Smith, J.E., Introduction to Evolutionary Computing, Springer-Verlag, Berlin, Germany (2003).
-
(2003)
Introduction to Evolutionary Computing
-
-
Eiben, A.E.1
Smith, J.E.2
-
25
-
-
56449096354
-
Memetic Algorithms
-
E. Alba and R. Martí, Eds, Springer-Verlag, Berlin, Germany, pp
-
Krasnogor, N., Aragon, A. and Pacheco, J. "Memetic Algorithms", Metaheuristic Procedures for Training Neural Networks, E. Alba and R. Martí, Eds., Springer-Verlag, Berlin, Germany, pp. 225-248 (2006).
-
(2006)
Metaheuristic Procedures for Training Neural Networks
, pp. 225-248
-
-
Krasnogor, N.1
Aragon, A.2
Pacheco, J.3
-
26
-
-
1642284276
-
Multi-phase discrete particle swarm optimization
-
Research Triangle Park, NC, USA, pp
-
Al-Kazemi, B. and Mohan, C.K. "Multi-phase discrete particle swarm optimization", In Proceedings of the 4th International Workshop on Frontiers in Evolutionary Algorithms, Research Triangle Park, NC, USA, pp. 622-625 (2002).
-
(2002)
Proceedings of the 4th International Workshop on Frontiers in Evolutionary Algorithms
, pp. 622-625
-
-
Al-Kazemi, B.1
Mohan, C.K.2
-
27
-
-
2442570106
-
A discrete particle swarm algorithm for optimal polygonal approximation of digital curves
-
Yin, P.-Y. "A discrete particle swarm algorithm for optimal polygonal approximation of digital curves", Journal of Visual Communication and Image Representation, 15(2), pp. 241-260 (2004).
-
(2004)
Journal of Visual Communication and Image Representation
, vol.15
, Issue.2
, pp. 241-260
-
-
Yin, P.-Y.1
-
29
-
-
33846269000
-
A host-based approach to network attack chaining analysis
-
Tucson, AZ, USA, pp
-
Ammann, P., Pamula, J., Ritchey, R. and Street, J. "A host-based approach to network attack chaining analysis", In Proceedings of the 2005 Annual Computer Security Applications Conference (ACSAC 2005), Tucson, AZ, USA, pp. 72-84 (2005).
-
(2005)
Proceedings of the 2005 Annual Computer Security Applications Conference (ACSAC 2005)
, pp. 72-84
-
-
Ammann, P.1
Pamula, J.2
Ritchey, R.3
Street, J.4
|