Last update: Sat Sep 30 02:07:37 MDT 2023
Return to index directory
M
-
Ma, Chengyu, 17(2)127--157
-
Ma, Chengyu, see Hu, Nan
-
Ma, Jianfeng, 23(6)659--683
-
Ma, Jianfeng, see Li, Jin
-
Ma, Ziqiang, 27(5)547--580
-
Ma:2019:TOP, 27(5)547--580
-
MAC, 15(1)103--128
-
Macedonio, Damiano, 13(3)391--422
-
Macedonio, Damiano, see Bossi, Annalisa
-
machine, 19(4)639--668, 26(3)311--333, 26(5)707--730
-
machine-checked, 21(1)41--87
-
Machine-generated, 22(6)867--912
-
Machiraju, Sridhar, 19(5)869--893
-
Machiraju, Sridhar, see Hsu, Francis
-
Mader, A., 15(6)619--645
-
Mader, A., see Corin, R.
-
Madhusudan, P., 22(6)961--996
-
Madhusudan, P., see Uzun, Emre
-
Maffei, Matteo, 15(6)563--617, 22(2)301--353, 27(1)1--47
-
Maffei, Matteo, see Backes, Michael,
see Bugliesi, Michele
-
Maffei:2019:GOP, 27(1)1--47
-
Maffeis, Sergio, 22(4)601--657
-
Maffeis, Sergio, see Bansal, Chetan
-
Maggi, Federico, 25(2)117--137
-
Maggi, Federico, see Continella, Andrea
-
Magill, Stephen, 21(4)463--532
-
Magill, Stephen, see Mardziel, Piotr
-
Maglaris, Vasilis, 13(5)779--806
-
Maglaris, Vasilis, see Siaterlis, Christos
-
mail, e-, 13(5)757--777
-
Mainardi, Nicholas, 26(6)817--849
-
Mainardi, Nicholas, see Barenghi, Alessandro
-
Maintaining, 3(4)309--322
-
maintenance, 27(4)427--458
-
Majumdar, Suryadipta, 27(2)165--202
-
Majumdar:2019:LPD, 27(2)165--202
-
Malacaria, Pasquale, 15(3)321--371, 18(2)191--228
-
Malacaria, Pasquale, see Clark, David
-
Malacaria:2010:RAS, 18(2)191--228
-
Malavolta, Giulio, 27(1)1--47
-
Malavolta, Giulio, see Maffei, Matteo
-
malicious, 26(5)677--706
-
Malkhi, Dahlia, 5(2)113--127, 6(4)237--255
-
Malkhi, Dahlia, see Franklin, Matthew K.
-
Malkhi:1997:HTS, 5(2)113--127
-
malleable, non-, 21(5)721--748
-
Mallios, Yannis, 23(6)759--787
-
Mallios:2015:PCE, 23(6)759--787
-
Malluhi, Qutaibah, 23(1)89--106
-
Malluhi, Qutaibah, see Al Bouna, Bechara
-
malware, 19(4)639--668, 26(5)589--613, 27(4)459--481, 27(5)507--520
-
man, 27(3)343--373
-
man-in-the-middle, 26(3)311--333
-
Manageable, 10(4)301--337
-
management, 1(1)5--35, 2(4)311--351, 3(2)115--145, 3(2)207--230,
4(4)267--287, 5(4)303--339, 10(3)273--296, 11(1)35--86,
12(1)131--164, 12(5)693--709, 12(5)777--798, 12(6)799--840,
13(1)167--190, 14(3)249--267, 14(4)327--357, 14(5)419--439,
15(4)447--489, 16(2)133--163, 16(3)289--309, 16(3)311--339,
16(4)399--418, 18(4)541--572, 19(3)567--605, 20(2)223--257,
20(4)437--459, 20(6)677--708, 21(1)149--190, 21(6)971--1007,
22(1)69--153, 22(6)913--959, 25(2)153--171
-
managing, 19(5)835--867
-
Mancini, Luigi V., 12(5)693--709, 15(1)171--196, 18(5)839--860
-
Mancini, Luigi V., see Di Pietro, Roberto,
see Zanin, Giorgio
-
mandatory, 5(4)303--339, 17(2)191--210
-
MANETs, 15(1)3--38
-
Mannan, Mohammad, 19(4)703--750
-
Mannan:2011:LPD, 19(4)703--750
-
Mantel, Heiko, 11(4)615--676
-
Mantel:2003:UAS, 11(4)615--676
-
Manulis, Mark, 21(5)749--778
-
Manulis, Mark, see Nieto, Juan González
-
Mardziel, Piotr, 21(4)463--532
-
Mardziel:2013:DEK, 21(4)463--532
-
Margulies, Ronen, 21(3)393--424
-
Margulies, Ronen, see Herzberg, Amir
-
Marias, Giannis, 19(5)835--867
-
Marias, Giannis, see Gritzalis, Dimitris
-
Mark, Brian L., 15(1)3--38
-
Mark, Brian L., see Zouridaki, Charikleia
-
market, 11(3)431--448
-
Marmor-Squires, Ann, 2(2)159--190
-
Marmor-Squires, Ann, see Epstein, Jeremy
-
Martel, Charles, 11(3)291--314, 12(6)841--864
-
Martel, Charles, see Devanbu, Premkumar
-
Martin, Benjamin, 19(2)289--317
-
Martin, Benjamin, see Avoine, Gildas
-
Martin, Charles R., 2(2)159--190
-
Martin, Charles R., see Epstein, Jeremy
-
Martin, Keith M., 6(4)219--235
-
Martin, Keith M., see Knudsen, Lars R.
-
Martin, Patrick, 16(3)289--309
-
Martin, Patrick, see Kayem, Anne V. D. M.
-
Martinelli, Fabio, 13(1)3--47, 20(1)81--117, 23(6)759--787
-
Martinelli, Fabio, see Bistarelli, Stefano,
see Costa, Gabriele, \see{Mallios, Yannis
-
Mashic, 24(1)91--136
-
Mashup, 24(1)91--136
-
masking, 13(4)623--658
-
Massacci, Fabio, 18(1)1--5, 20(1)51--79
-
Massacci, Fabio, see Bielova, Nataliia,
see Camenisch, Jan
-
Mastroeni, Isabella, 18(5)751--797, 26(1)31--69
-
Mastroeni, Isabella, see Giacobazzi, Roberto,
see Preda, Mila Dalla
-
Masucci, Barbara, 7(1)73--85
-
Masucci, Barbara, see Blundo, Carlo
-
matching, 20(2)259--305, 21(5)601--625
-
Mathematical, 1(3)255--294
-
Matos, Ana Almeida, 17(5)549--597, 24(1)91--136
-
Matos, Ana Almeida, see Luo, Zhengqin
-
Matos:2009:DND, 17(5)549--597
-
Matsumoto, Tsutomu, 6(3)129--149
-
Matsumoto:1998:HCC, 6(3)129--149
-
Mattos, Luiz A. Frota, 3(4)309--322
-
Mattos, Luiz A. Frota, see Blundo, C.
-
Matzner, Sara, 12(2)165--190
-
Matzner, Sara, see Ourston, Dirk
-
Maurer, Ueli, 5(1)69--89, 27(1)75--111
-
Maurer, Ueli, see Camenisch, Jan,
see Demay, Grégory
-
Maurer, Ueli M., 4(1)55--80
-
Maurer:1996:CSB, 4(1)55--80
-
Mauw, Sjouke, 20(4)437--459
-
Mauw, Sjouke, see Sun, Yanjie
-
Mayer, Daniel, 25(1)59--81
-
Mayer, Daniel, see Wüller, Stefan
-
Mazaré, Laurent, 18(6)999--1033, see Kremer, Steve
-
Mazières, David, 25(4)427--461, see Giffin, Daniel
-
Mazzeo, Antonino, 15(2)197--229
-
Mazzeo, Antonino, see Casola, Valentina
-
Mazzocca, Nicola, 15(2)197--229
-
Mazzocca, Nicola, see Casola, Valentina
-
Mazzoleni, Pietro, 12(6)799--840
-
Mazzoleni, Pietro, see Atluri, Vijayalakshmi
-
MC, 18(5)667--699
-
McAlerney, Joseph M., 10(1)105--136
-
McAlerney, Joseph M., see Staniford, Stuart
-
McCollum, Catherine D., 3(2)207--230, 8(4)243--279, 9(3)165--195
-
McCollum, Catherine D., see Jajodia, Sushil,
see Liu, Peng, \see{Notargiacomo, LouAnna
-
McDaniel, Patrick, 14(6)483--511, 16(6)713--742, 18(5)799--837
-
McDaniel, Patrick, see Pirretti, Matthew,
see Traynor, Patrick
-
McDaniel:2006:EPA, 14(6)483--511
-
McDermid, John, 2(2)211--229
-
McDermid, John, see Littlewood, Bev
-
McDermott, John, 4(2)189--228
-
McDermott:1996:APC, 4(2)189--228
-
McDonald, J. Todd, 26(5)589--613
-
McDonald, J. Todd, see Luckett, Patrick
-
McHugh, John, 2(2)159--190
-
McHugh, John, see Epstein, Jeremy
-
McIntosh, Allen, 24(4)479--506
-
McIntosh, Allen, see Di Crescenzo, Giovanni
-
McLean, John, 1(1)37--57, 1(3)217--218, 2(2)87--88
-
McLean, John, see Lunt, Teresa F.
-
McLean:1992:PNF, 1(1)37--57
-
McLean:1993:GEP, 2(2)87--88
-
Meadows, Catherine, 1(1)5--35, 3(1)71--84, 8(2)87--87, 9(1)143--164,
12(6)893--931
-
Meadows, Catherine, see Deswarte, Yves,
see Simmons, G. J.
-
Meadows:1992:AFM, 1(1)5--35
-
Meadows:2001:CBF, 9(1)143--164
-
Meadows:2004:FSA, 12(6)893--931
-
means, 5(1)31--67, 18(3)379--396
-
measure, 2(2)211--229, 24(4)507--539
-
Measuring, 23(5)611--637
-
mechanism, 10(4)399--432, 12(5)711--736, 21(2)233--281, 23(4)427--469,
24(4)427--477
-
mediated, 14(3)249--267, 17(4)489--514
-
mediating, 24(4)405--426
-
mediation, 11(3)365--398
-
Mei, Alessandro, 12(5)693--709, 18(5)839--860
-
Mei, Alessandro, see Di Pietro, Roberto
-
Meier, Simon, 21(1)41--87, 21(6)817--846
-
Meier, Simon, see Basin, David
-
Meier:2013:ECM, 21(1)41--87
-
Mella, G., 13(2)191--242
-
Mella, G., see Bertino, E.
-
Mellor, Peter, 2(2)211--229
-
Mellor, Peter, see Littlewood, Bev
-
memory, 24(6)793--837
-
Merging, 3(2)207--230, 5(1)3--29, 26(5)615--645
-
Merlo, Alessio, 23(5)611--637
-
Merlo:2015:MEP, 23(5)611--637
-
Merritt, Michael, 5(2)111--112
-
Merritt:1997:GEP, 5(2)111--112
-
message, 12(6)865--891, 15(1)1--2, 16(5)497--530, 22(5)659--660
-
metaprogramming, 24(5)541--582
-
Métayer, Daniel, Le, 9(3)217--250
-
metering, 6(4)237--255
-
method, 1(1)5--35, 4(1)97--111, 9(4)323--338, 10(3)297--297,
12(3)409--433, 25(6)463--510, 26(5)615--645, 27(3)277--342
-
methodology, 15(2)197--229
-
Metric, 15(2)197--229
-
metrics, 21(4)561--597, 26(1)121--142
-
Meyden, Ron van der, 9(1)105--142, 11(4)581--613, 23(2)197--228
-
Meyden, Ron van der, see Halpern, Joseph Y.
-
Meyer, Ulrike, 25(1)59--81
-
Meyer, Ulrike, see Wüller, Stefan
-
Micciancio, Daniele, 12(1)99--129
-
Micciancio:2004:CTA, 12(1)99--129
-
micro-data, 23(2)131--165
-
microphones, 26(2)255--281
-
middle, man-in-the-, 26(3)311--333
-
Migault, Daniel, 25(2)173--203
-
Migault:2017:DEI, 25(2)173--203
-
Migliardi, Mauro, 23(5)611--637
-
Migliardi, Mauro, see Merlo, Alessio
-
Millen, Jon, 18(2)187--187
-
Millen, Jon, see Jajodia, Sushil
-
Millen, Jonathan, 1(1)1--3, 1(3)215--215, 2(2)85--85, 2(4)277--277,
3(1)1--1, 3(4)231--231, 4(2)121--121, 4(2)229--231, 4(4)265--265,
5(2)109--109, 7(1)1--1, 13(3)515--564, 13(4)695--695
-
Millen, Jonathan, see Jajodia, Sushil
-
Millen, Jonathan K., 2(2)89--106, 3(1)35--54, 3(2)85--85, 9(4)323--338,
10(3)297--297
-
Millen, Jonathan K., see Wright, Rebecca N.
-
Millen:1993:EPb, 2(4)277--277
-
Millen:1993:RAM, 2(2)89--106
-
Millen:1995:EPb, 3(2)85--85
-
Millen:1995:UFC, 3(1)35--54
-
Millen:1996:EPB, 4(2)229--231
-
Millen:1999:SSI, 7(1)1--1
-
Millen:2005:SPAa, 13(3)515--564
-
Millen:2005:SPAb, 13(4)695--695
-
Miller, Charissa, 27(4)405--425
-
Miller, Charissa, see Balagani, Kiran
-
Miller, Matthew, 10(1)5--22
-
Miller, Matthew, see Lee, Wenke
-
Milner, Kevin, 27(2)203--232
-
Milner, Kevin, see Cremers, Cas
-
Minimizing, 17(2)211--235
-
Minimum, 24(3)379--403
-
mining, 8(4)281--307, 13(4)593--622, 22(1)1--31, 23(1)31--58,
26(1)121--142
-
Minkovich, Kirill, 21(5)601--625
-
Minkovich, Kirill, see Baron, Joshua
-
misbehavior, 15(1)103--128
-
Mitchell, Christopher J., 3(4)255--267
-
Mitchell, Christopher J., see Chen, Liqun
-
Mitchell, John, 11(4)677--721, 12(2)247--311, 25(4)427--461
-
Mitchell, John, see Durgin, Nancy,
see Giffin, Daniel
-
Mitchell, John C., 11(1)35--86, 12(1)131--164, 13(2)265--316,
13(3)423--482, 18(6)1035--1073
-
Mitchell, John C., see Cervesato, Iliano,
see Chander, Ajay, \see{Datta, Anupam,
see Li, Ninghui, \see{Roy, Arnab
-
mitigate, 19(6)1083--1107
-
Mitigating, 13(6)807--837, 27(4)427--458
-
Mitra, Barsha, 23(1)31--58
-
Mitra:2015:GTR, 23(1)31--58
-
MITRE, 4(2)239--263
-
Mitrokotsa, Aikaterini, 23(2)229--257, 23(3)309--329
-
Mitrokotsa, Aikaterini, see Boureanu, Ioana,
see Dimitrakakis, Christos
-
mix-zone, 21(3)317--346
-
mixture, 16(6)761--790, 17(3)239--268
-
Moataz, Tarik, 26(1)1--30
-
Moataz:2018:SSE, 26(1)1--30
-
mobile, 8(2)183--207, 16(4)439--475, 18(6)971--998, 23(6)685--707,
24(2)137--180, 26(3)283--309
-
model, 1(1)59--98, 1(2)189--213, 1(3)335--383, 2(2)89--106, 3(2)169--206,
3(2)207--230, 3(4)283--308, 4(2)149--165, 4(2)229--231,
4(4)331--359, 6(3)181--217, 7(2)89--146, 7(2)147--190, 7(4)317--342,
8(1)3--41, 8(2)209--240, 9(3)217--250, 10(4)339--367, 12(3)317--353,
12(3)551--587, 13(4)623--658, 14(1)45--64, 15(2)231--272,
16(1)1--61, 18(6)1247--1299, 19(3)399--452, 19(5)795--833,
19(5)975--1025, 23(1)107--129
-
Model-based, 10(1)189--209
-
Model-checking, 19(1)101--138, 24(5)617--643
-
modeling, 10(1)5--22, 16(2)165--197, 20(4)393--436
-
Modelling, 2(4)291--309, 7(4)287--315
-
modern, 26(4)509--541
-
Mödersheim, Sebastian, 18(4)575--618
-
Mödersheim, Sebastian Alexander, 22(2)201--202,
see Chatzikokolakis, Konstantinos
-
Modersheim:2010:CDS, 18(4)575--618
-
Modi, Shimon, 15(5)529--560
-
Modi, Shimon, see Bhargav-Spantzel, Abhilasha
-
modular, 12(1)3--36, 20(1)81--117, 21(2)283--315, 22(5)699--742
-
Moens, Marie-Francine, 18(1)7--35
-
Moens, Marie-Francine, see Bergholz, André
-
Mohamed, Manar, 25(3)205--230
-
Mohamed:2017:SUD, 25(3)205--230
-
Mohr, Martin, 26(3)335--366
-
Mohr, Martin, see Bischof, Simon
-
Molas, Kendall, 27(4)405--425
-
Molas, Kendall, see Balagani, Kiran
-
Mölsä, Jarmo, 13(6)807--837
-
Molsa:2005:MDS, 13(6)807--837
-
Molva, Refik, 4(1)97--111
-
Molva, Refik, see Hauser, Ralf
-
monadic, 17(5)599--653
-
monitoring, 18(1)37--59, 24(6)735--791
-
monotonic, 4(2)149--165
-
Mont, Marco Casassa, 16(2)133--163, 18(4)541--572
-
Mont, Marco Casassa, see Baldwin, Adrian
-
Mont:2008:PPE, 16(2)133--163
-
Montolivo, Emilio, 5(1)1--2
-
Montolivo, Emilio, see Bertino, Elisa
-
Mood, Benjamin, 24(2)137--180
-
Mood, Benjamin, see Carter, Henry
-
Morcos, Alexander, 9(4)285--322
-
Morcos, Alexander, see Clarke, Dwaine
-
more, 21(5)685--719, 21(5)721--748, 22(4)567--599, 22(6)1025--1049
-
Morgner, Philipp, 27(1)113--136
-
Morgner, Philipp, see Armknecht, Frederik
-
Morisset, Charles, 23(6)759--787
-
Morisset, Charles, see Mallios, Yannis
-
Moronski, J., 15(2)273--302
-
Moronski, J., see Skormin, V.
-
Motro, Amihai, 1(2)189--213
-
Motro:1992:UMS, 1(2)189--213
-
Moustakides, George V., 15(1)103--128
-
Moustakides, George V., see Radosavac, S.
-
Mu, Yi, 18(3)421--449, 19(2)319--341, 22(1)33--67, 27(2)259--275
-
Mu, Yi, see Li, Jiguo, \see{Ng, Ching Yu,
see Tian, Yangguang, \see{Yuen, Tsz Hon
-
Mühlhäuser, Max, 22(6)913--959,
see Braun, Johannes
-
Mukhopadhyay, Dibya, 26(3)311--333
-
Mukhopadhyay, Dibya, see Shirvanian, Maliheh
-
Mukkamala, Ravi, 4(2)189--228, 9(3)165--195
-
Mukkamala, Ravi, see Jajodia, Sushil,
see McDermott, John
-
Müller, Christian, 27(1)113--136,
see Armknecht, Frederik
-
Müller-Quade, Jörn, 17(5)703--735,
see Hofheinz, Dennis
-
Mullins, John, 18(2)265--316
-
Mullins, John, see Hamadou, Sardaouna
-
multi-agent, 19(1)57--99
-
multi-dimensional, 15(4)417--445, 17(1)101--126
-
multi-execution, 22(4)469--509, 24(1)39--90
-
multi-factor, 15(5)529--560
-
multi-layer, 24(4)405--426
-
multi-level, 16(2)107--131
-
multi-objective, 19(5)935--974, 26(5)707--730
-
multi-parent, 4(2)149--165
-
multi-programmed, 13(2)243--263
-
multi-tenant, 18(1)89--121
-
multi-threaded, 11(4)615--676, 14(6)591--623, 22(2)269--300
-
multiagent, 13(3)483--514
-
multiapplicative, 10(4)339--367
-
multicast, 5(2)113--127, 10(3)213--240, 12(5)693--709, 14(4)301--325,
18(5)839--860
-
multilevel, 2(2)231--275, 2(4)311--351, 3(2)87--113, 3(2)115--145,
6(3)181--217, 7(4)257--285, 8(1)3--41, 9(3)165--195, 20(5)547--581
-
multimodal, 18(1)161--185
-
multiple, 3(4)255--267, 3(4)309--322, 6(4)219--235, 21(3)425--461,
26(1)121--142, 26(6)791--815
-
multisensor, 13(5)779--806
-
multiset, 12(2)247--311, 13(1)3--47, 13(2)265--316
-
multithreaded, 18(1)37--59
-
Murray, Toby, 16(6)743--759, 25(4)319--321
-
Murray:2008:NDA, 16(6)743--759
-
Murray:2017:SIV, 25(4)319--321
-
Myers, Andrew, 20(6)635--636
-
Myers, Andrew C., 14(2)157--196, 17(5)655--701, 25(4)367--426
-
Myers, Andrew C., see Clarkson, Michael R.,
see Liu, Jed
-
Myers, Steven, 21(5)721--748
-
Myers:2006:ERD, 14(2)157--196
-
Myers:2012:P, 20(6)635--636
-
Myers:2013:BBC, 21(5)721--748