Last update: Sat Sep 30 02:07:37 MDT 2023
Return to index directory
L
-
La Porta, Thomas, 16(6)713--742
-
La Porta, Thomas, see Traynor, Patrick
-
Lacy, John B., 4(4)267--287
-
Lacy, John B., see Reiter, Michael K.
-
Lafourcade, Pascal, 14(1)1--43, 23(5)587--610
-
Lafourcade, Pascal, see Cortier, Véronique,
see Dreier, Jannik
-
Lain, Daniele, 27(4)405--425
-
Lain, Daniele, see Balagani, Kiran
-
Lam, Simon S., 2(2)107--136
-
Lam, Simon S., see Woo, Thomas Y. C.
-
Lanet, J.-L., 10(4)369--398
-
Lanet, J.-L., see Bieber, P.
-
Länger, Thomas, 18(1)61--87, see Salvail, Louis
-
language, 7(2)231--253, 10(1)71--103, 10(1)159--176, 12(1)99--129,
14(4)327--357, 14(6)591--623, 15(3)321--371, 15(6)647--689,
18(4)619--665, 24(5)541--582
-
Lanzi, Andrea, 25(2)117--137
-
Lanzi, Andrea, see Continella, Andrea
-
LaPadula, Bell-, 4(2)229--231
-
LaPadula, Leonard J., 4(2)233--238, 4(2)239--263
-
LaPadula:1996:F, 4(2)233--238
-
LaPadula:1996:MTR, 4(2)239--263
-
large, 2(2)137--157, 24(5)645--665
-
large-scale, 15(1)171--196
-
Larrecq, Jean, Goubault-, 18(6)1247--1299
-
Last, 27(3)343--373
-
Laud, Peeter, 10(3)273--296
-
Laud, Peeter, see Buldas, Ahto
-
Lauradoux, Cédric, 19(2)289--317, see Avoine, Gildas
-
Laurent, Maryline, 25(2)173--203
-
Laurent, Maryline, see Migault, Daniel
-
Lavaud, Antoine, Delignat-, 22(4)601--657
-
layer, 15(1)103--128, 25(2)173--203
-
layer, multi-, 24(4)405--426
-
layered, 23(3)259--307
-
layout, 17(3)331--362
-
Lazos, Loukas, 19(2)229--257
-
Lazos, Loukas, see Alomair, Basel
-
LDAP, 14(5)419--439
-
Le Métayer, Daniel, 9(3)217--250,
see Besson, Frédéric
-
Le, Meixing, 24(3)379--403
-
Le:2016:MCR, 24(3)379--403
-
Leak-free, 17(4)489--514
-
leakage, 4(2)123--148, 17(5)737--797, 23(4)427--469, 24(3)321--345,
27(4)405--425, 27(4)459--481
-
learning, 19(4)639--668, 26(5)589--613, 27(2)165--202
-
Lee, E. S., 3(4)269--281
-
Lee, E. S., see Zakinthinos, A.
-
Lee, Sang-Ho, 12(5)711--736
-
Lee, Sang-Ho, see Cho, Taenam
-
Lee, Sauchi Stephen, 18(5)667--699
-
Lee, Sauchi Stephen, see Conrad, James R.
-
Lee, Wenke, 10(1)5--22
-
Lee:2002:TCS, 10(1)5--22
-
Leenes, Ronald, 18(1)123--160
-
Leenes, Ronald, see Ardagna, Claudio A.
-
Leifer, James, 16(5)573--636
-
Leifer, James, see Corin, Ricardo
-
Lekkas, Dimitrios, 18(3)379--396
-
Lekkas:2010:PMT, 18(3)379--396
-
length, 21(6)781--816
-
length, variable-, 8(2)159--181
-
Lenzini, Gabriele, 13(1)3--47, 23(5)563--585, 26(4)509--541
-
Lenzini, Gabriele, see Bella, Giampaolo,
see Bistarelli, Stefano,
see Giustolisi, Rosario
-
LESS, 24(5)645--665
-
Lester, Martin, 24(5)541--582
-
Lester:2016:IFA, 24(5)541--582
-
level, low-, 7(1)3--35
-
level, multi-, 16(2)107--131
-
Leveraging, 19(4)703--750, 19(5)869--893
-
Levine, Brian Neil, 10(3)213--240
-
Levine:2002:HMB, 10(3)213--240
-
Levy, Amit, 25(4)427--461
-
Levy, Amit, see Giffin, Daniel
-
Levy, Silvie, 26(2)177--205
-
Levy:2018:SHB, 26(2)177--205
-
Li, Chung Ki, 18(3)451--473
-
Li, Jiguo, 18(3)421--449
-
Li, Jin, 23(6)659--683
-
Li, Jingwei, 23(6)659--683
-
Li, Jingwei, see Li, Jin
-
Li, Ninghui, 11(1)35--86, 15(2)231--272, 17(1)43--68
-
Li, Ninghui, see Byun, Ji-Won,
see Tripunitara, Mahesh V.
-
Li, Tiancheng, 17(1)43--68
-
Li, Tiancheng, see Byun, Ji-Won
-
Li, Yingjiu, 10(1)137--157, 15(4)417--445, 17(2)127--157, 19(2)227--228,
19(6)1109--1146, 20(5)461--462, 25(3)231--253, 27(2)259--275,
27(3)375--403
-
Li, Yingjiu, see Cheng, Yao,
see Deng, Robert H., \see{Hu, Nan,
see Tian, Yangguang, \see{Wang, Lingyu,
see Yu, Xingjie
-
Li, Zhou, 26(3)283--309
-
Li, Zhou, see Diao, Wenrui
-
Li:2002:EPA, 10(1)137--157
-
Li:2003:DCC, 11(1)35--86
-
Li:2010:CCB, 18(3)421--449
-
Li:2010:ESS, 18(3)451--473
-
Li:2011:GEP, 19(2)227--228
-
Li:2012:GEP, 20(5)461--462
-
Li:2015:NAC, 23(6)659--683
-
Life-cycle, 14(5)419--439
-
lightweight, 6(4)237--255
-
like, Java-, 18(1)37--59
-
limit, 8(4)281--307
-
limited, 24(6)735--791
-
Lin, Chung-Yi, 25(2)153--171
-
Lin, Jingqiang, 27(5)547--580
-
Lin, Jingqiang, see Ma, Ziqiang
-
Lin, T. Y., 7(4)255--255, 8(1)1--1
-
Lin:1999:GEP, 7(4)255--255
-
Lin:2000:GEP, 8(1)1--1
-
Lin:2017:SAC, 25(2)153--171
-
Lincoln, Patrick, 9(4)251--283, 12(2)247--311
-
Lincoln, Patrick, see De Capitani di Vimercati, Sabrina,
see Durgin, Nancy
-
Lincoln, Patrick D., 9(4)323--338, 10(3)297--297, 13(2)265--316
-
Lincoln, Patrick D., see Cervesato, Iliano,
see Wright, Rebecca N.
-
line, off-, 14(5)441--467
-
linear, 20(5)583--634
-
Linguistic, 24(4)427--477
-
linked, 6(1)3--21, 9(1)105--142
-
Linux, 13(1)115--134, 24(6)793--837
-
Lipmaa, Helger, 10(3)273--296, 21(5)685--719
-
Lipmaa, Helger, see Buldas, Ahto
-
Lipmaa:2013:MEC, 21(5)685--719
-
Lippert, M., 14(5)419--439
-
Lippert:2006:LCM, 14(5)419--439
-
Lipton, Richard, 4(2)149--165
-
Lipton, Richard, see Ammann, Paul
-
list, 21(6)781--816
-
Littlewood, Bev, 2(2)211--229
-
Littlewood:1993:TOM, 2(2)211--229
-
Liu, Jed, 25(4)367--426
-
Liu, Li, 26(5)707--730
-
Liu, Li, see Han, Jin
-
Liu, Peng, 8(4)243--279, 13(4)623--658
-
Liu, Peng, see Yu, Meng
-
Liu, Rui, 26(3)283--309
-
Liu, Rui, see Diao, Wenrui
-
Liu, Wen Ming, 23(2)131--165
-
Liu, Xiangyu, 26(3)283--309
-
Liu, Xiangyu, see Diao, Wenrui
-
Liu:2000:ICI, 8(4)243--279
-
Liu:2015:JSD, 23(2)131--165
-
Liu:2017:FBO, 25(4)367--426
-
lived, long-, 15(1)171--196
-
liveness, 12(3)589--617
-
Livraga, Giovanni, 20(4)393--436, 20(5)463--508, 23(1)59--88
-
Livraga, Giovanni, see Bezzi, Michele,
see Ciriani, Valentina,
see De Capitani di Vimercati, Sabrina
-
Livshits, Benjamin, 22(4)467--468
-
Livshits, Benjamin, see Desmet, Lieven
-
local, 6(1)3--21, 9(1)105--142
-
location, 19(3)607--637
-
location-based, 19(5)795--833
-
locked, time-, 27(3)375--403
-
Loeb, Martin P., 11(3)431--448, 19(1)33--56
-
Loeb, Martin P., see Campbell, Katherine,
see Gordon, Lawrence A.
-
logic, 9(1)105--142, 11(4)677--721, 13(3)423--482, 17(6)909--944,
20(4)353--391, 24(6)735--791, 25(1)1--19
-
logic-based, 8(2)109--139
-
logical, 1(1)99--129, 11(4)521--554, 11(4)581--613, 12(5)711--736,
16(1)63--101
-
login, 21(3)393--424
-
logs, 14(6)513--534
-
Lomas, M., 5(3)191--212
-
Lomas, M., see Bergadano, F.
-
long-lived, 15(1)171--196
-
looping, 18(2)191--228
-
Loose, 23(1)59--88
-
Lopez, Javier, 14(5)469--482, 18(1)1--5, 20(4)307--308
-
Lopez, Javier, see Barthe, Gilles,
see Camenisch, Jan
-
López, Mauricio, 5(3)225--235, see Bryce, Ciarán
-
Lopez:2006:UPK, 14(5)469--482
-
Lorenzi, David, 26(6)731--760
-
Lorenzi:2018:TDR, 26(6)731--760
-
loss, 23(3)309--329
-
Lotz, Volkmar, 5(1)31--67
-
Lotz:1997:TSM, 5(1)31--67
-
Lou, Wenjing, 23(6)659--683
-
Lou, Wenjing, see Li, Jin
-
low-bandwidth, 19(1)139--201
-
low-cost, 19(2)229--257
-
Low-deterministic, 26(3)335--366
-
low-level, 7(1)3--35
-
low-nondeterministic, 26(3)335--366
-
Lowden, Jason, 23(5)541--562
-
Lowden:2015:DPA, 23(5)541--562
-
Lowe, Gavin, 6(1)53--84, 7(2)89--146, 9(1)3--46, 11(2)217--244,
12(1)83--97, 12(3)619--653, 19(5)975--1025, 20(1)1--1,
23(3)259--307
-
Lowe, Gavin, see Armando, Alessandro,
see Gibson-Robinson, Thomas,
see Heather, James, \see{Hui, Mei Lin,
see Kamil, Allaa
-
Lowe, Needham-Schroeder-, 13(3)565--591
-
Lowe:1998:CCA, 6(1)53--84
-
Lowe:1999:TCR, 7(2)89--146
-
Lowe:2004:APS, 12(1)83--97
-
Lowe:2004:DIF, 12(3)619--653
-
Lu, Haibing, 17(2)211--235, 19(3)453--484, 20(5)583--634, 22(1)1--31,
23(1)107--129
-
Lu, Haibing, see He, Xiaoyun, \see{Hong, Yuan,
see Vaidya, Jaideep
-
Lu:2014:OFR, 22(1)1--31
-
Lu:2015:TUO, 23(1)107--129
-
Luan, Shyh-Wei, 2(2)137--157
-
Luan, Shyh-Wei, see Gligor, Virgil D.
-
Luccio, Flaminia L., 21(6)971--1007
-
Luccio, Flaminia L., see Centenaro, Matteo
-
Luckett, Patrick, 26(5)589--613
-
Luckett:2018:ISM, 26(5)589--613
-
Lui, King-Shan, 6(1)23--52
-
Lui, King-Shan, see Gray III, James W.
-
{\L}ukowiak, Marcin, 23(5)541--562, see Lowden, Jason
-
Lundblad, Andreas, 18(1)37--59
-
Lundblad, Andreas, see Dam, Mads
-
Lunt, Teresa F., 1(3)217--218
-
Lunt:1992:GEP, 1(3)217--218
-
Luo, Bo, 27(5)547--580
-
Luo, Bo, see Ma, Ziqiang
-
Luo, Zhengqin, 24(1)91--136
-
Luo:2016:MCM, 24(1)91--136
-
Lütkenhaus, Norbert, 18(1)61--87, see Salvail, Louis