K. Levitt
发表
Todd L. Heberlein,
L. T. Heberlein,
B. Mukherjee,
1994,
IEEE Network.
Anna Scaglione,
George Kesidis,
Karl N. Levitt,
2014,
ArXiv.
Ananthram Swami,
Srikanth V. Krishnamurthy,
Karl N. Levitt,
2016,
2016 IEEE Conference on Communications and Network Security (CNS).
J. Goldberg,
J.H. Wensley,
L. Lamport,
1978,
Proceedings of the IEEE.
Karl N. Levitt,
Shyhtsun Felix Wu,
S. H. Li,
2004,
2004 IEEE/IFIP Network Operations and Management Symposium (IEEE Cat. No.04CH37507).
Catherine Rosenberg,
S. Shankar Sastry,
Ruzena Bajcsy,
2004,
CACM.
Munindar P. Singh,
K. Levitt,
E. Sklar,
2014
.
K. Levitt,
G. Kesidis,
J. Rowe,
2016
.
Karl N. Levitt,
Jeff Rowe,
Phillip A. Porras,
2004,
WORM '04.
K. Levitt,
E. Sklar,
S. Parsons,
2012
.
James C. Reynolds,
J. C. Reynolds,
J. Rowe,
2003,
Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].
K. Levitt,
J. Alves-Foss,
Cui Zhang,
2003
.
R. Waldinger,
K. Levitt,
B. Elspas,
1972,
CSUR.
K. Levitt,
J. Rowe,
M. Hogarth,
2013
.
K. Levitt,
1998
.
K. Levitt,
B. Rivera,
P. Mcdaniel,
2017
.
K. Levitt,
1965
.
Karl N. Levitt,
Melissa Danforth,
K. Levitt,
2003,
ICMLA.
Biswanath Mukherjee,
Karl N. Levitt,
L. Todd Heberlein,
1994
.
Karl N. Levitt,
M. Archer,
D. A. Frincke,
1990
.
Cui Zhang,
Karl N. Levitt,
Ronald A. Olsson,
1999,
Softw. Test. Verification Reliab..
Anna Scaglione,
George Kesidis,
Karl N. Levitt,
2014,
Feedback Computing.
Karl N. Levitt,
Gerald J. Kost,
John L. Chow,
1993,
Annals of Biomedical Engineering.
Lawrence Robinson,
Peter G. Neumann,
Karl N. Levitt,
1980
.
Peter G. Neumann,
Karl N. Levitt,
Alfonso Valdes,
1996
.
Karl N. Levitt,
William L. Harrison,
Myla Archer,
1993
.
Karl N. Levitt,
Jeffrey J. Joyce,
Myla Archer,
1992,
TPHOLs.
Biswanath Mukherjee,
Karl N. Levitt,
Gihan Dias,
2017
.
Lawrence Robinson,
Peter G. Neumann,
Karl N. Levitt,
1975,
Reliable Software.
Karl N. Levitt,
Ronald A. Olsson,
Raymond W. Lo,
1997,
Softw. Test. Verification Reliab..
Biswanath Mukherjee,
Gihan Dias,
Lt Beberlein,
2017
.
Milton W. Green,
Philip M. Thambidurai,
R. Shostak,
2009
.
B. Mukherjee,
K. Levitt,
David Wolber,
2022
.
Karl N. Levitt,
Jeff Rowe,
Ivan Balepin,
2003,
RAID.
Karl N. Levitt,
Melissa Danforth,
K. Levitt,
2006
.
Karl N. Levitt,
Jeff Rowe,
Calvin Ko,
2003,
SASN '03.
Karl N. Levitt,
William H. Kautz,
K. Levitt,
1967,
IEEE Trans. Inf. Theory.
Karl N. Levitt,
Jeff Rowe,
Matt Bishop,
2016,
2016 IEEE Security and Privacy Workshops (SPW).
Ananthram Swami,
Srikanth V. Krishnamurthy,
Trent Jaeger,
2015,
MILCOM 2015 - 2015 IEEE Military Communications Conference.
Hein Meling,
Haibin Zhang,
Karl N. Levitt,
2014,
2014 IEEE 33rd International Symposium on Reliable Distributed Systems.
Karl N. Levitt,
Marcus Tylutki,
K. Levitt,
2009,
IWAN.
Karl N. Levitt,
William H. Kautz,
Abraham Waksman,
1968,
IEEE Transactions on Computers.
Karl N. Levitt,
Jack Goldberg,
Milton W. Green,
1899,
AFIPS '68 (Spring).
Karl N. Levitt,
Dustin Lee,
Jeff Rowe,
2002,
18th Annual Computer Security Applications Conference, 2002. Proceedings..
Karl N. Levitt,
Matt Bishop,
George Fink,
1995
.
Michael Gertz,
Karl N. Levitt,
Christina Yip Chung,
2000,
IICIS.
Anna Scaglione,
George Kesidis,
Karl N. Levitt,
2015,
EURASIP J. Adv. Signal Process..
Biswanath Mukherjee,
Karl N. Levitt,
Gihan Dias,
1997
.
Lawrence Robinson,
Peter G. Neumann,
Karl N. Levitt,
1976,
ICSE '76.
K. N. Levitt,
J. L. Chow,
G. J. Kost,
1988,
Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society.
Karl N. Levitt,
William H. Kautz,
K. Levitt,
1972,
Commun. ACM.
Karl N. Levitt,
Raju Pandey,
James A. Hoagland,
2007
.
Karl N. Levitt,
Raju Pandey,
James A. Hoagland,
1998,
ArXiv.
Dipak Ghosal,
Arun Raghuramu,
Chen-Nee Chuah,
2015,
IEEE Communications Magazine.
Elizabeth Sklar,
Simon Parsons,
Karl N. Levitt,
2016,
Argument Comput..
Karl N. Levitt,
Christopher E. Wee,
James Hoagland,
1998
.
Karl N. Levitt,
Calvin Ko,
Myla Archer,
1994
.
Karl N. Levitt,
Cynthia E. Irvine,
K. Levitt,
2007,
2007 44th ACM/IEEE Design Automation Conference.
Karl N. Levitt,
Robert S. Boyer,
Bernard Elspas,
1975,
Reliable Software.
Karl N. Levitt,
Robert S. Boyer,
Bernard Elspas,
1975
.
Biswanath Mukherjee,
Deborah A. Frincke,
Karl N. Levitt,
1993,
CCS '93.
Biswanath Mukherjee,
L. Todd Herberlein,
Gihan V. Dias,
1990,
Proceedings. 1990 IEEE Computer Society Symposium on Research in Security and Privacy.
Karl N. Levitt,
Calvin Ko,
Shiau-Huey Wang,
2006,
RAID.
Mitigating Distributed Denial of Service Attacks Using a Proportional-Integral-Derivative Controller
Karl N. Levitt,
Marcus Tylutki,
K. Levitt,
2003,
RAID.
Karl N. Levitt,
Steven Cheung,
K. Levitt,
1999
.
Karl N. Levitt,
Steven Cheung,
K. Levitt,
1998,
NSPW '97.
Karl N. Levitt,
James C. Reynolds,
James E. Just,
2002,
Proceedings International Conference on Dependable Systems and Networks.
Karl N. Levitt,
Gerald C. Cohen,
G. C. Cohen,
1991
.
Lawrence Robinson,
Karl N. Levitt,
Jay M. Spitzen,
1978,
CACM.
Karl N. Levitt,
Matt Bishop,
Bhume Bhumiratana,
2006,
NSPW '06.
Cui Zhang,
Karl N. Levitt,
Ronald A. Olsson,
1999,
Softw. Test. Verification Reliab..
Karl N. Levitt,
Richard J. Waldinger,
R. Waldinger,
1973,
Artif. Intell..
Karl N. Levitt,
Jeff Rowe,
Parisa Kianmajd,
2016,
2016 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS).
K. M. Chandy,
James C. Browne,
C. V. Ramamoorthy,
2017
.
Michael Gertz,
Karl N. Levitt,
Christina Yip Chung,
2000,
DBSec.
Karl N. Levitt,
Richard H. Crawford,
James A. Hoagland,
1996
.
Karl N. Levitt,
Gerald C. Cohen,
G. C. Cohen,
1992
.
Karl N. Levitt,
E. Thomas Schubert,
E. T. Schubert,
1992
.
Karl N. Levitt,
Carrie Gates,
Matt Bishop,
2018,
NSPW '18.
Karl N. Levitt,
Jeff Rowe,
Shyhtsun Felix Wu,
2008,
RAID.
Karl N. Levitt,
Jeff Rowe,
Eve M. Schooler,
2006,
LSAD '06.
Karl N. Levitt,
Todd L. Heberlein,
Senthilkumar G. Cheetancheri,
2006,
2006 IEEE International Performance Computing and Communications Conference.
Karl N. Levitt,
Sean Peisert,
Sisi Duan,
2015,
IEEE Transactions on Dependable and Secure Computing.
Karl N. Levitt,
Senthilkumar G. Cheetancheri,
K. Levitt,
2007
.
Todd L. Heberlein,
B. Mukherjee,
K. Levitt,
1994,
IEEE Network.
Biswanath Mukherjee,
K. N. Levitt,
Steven R. Snapp,
1991
.
Karl N. Levitt,
Jeff Rowe,
Tufan Demir,
2007,
ASIACCS '07.
Ananthram Swami,
Srikanth V. Krishnamurthy,
Trent Jaeger,
2015,
MILCOM 2015 - 2015 IEEE Military Communications Conference.
K. Levitt,
R. Olsson,
R. Lo,
1995
.
Karl N. Levitt,
Raymond W. Yip,
K. Levitt,
1998,
Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238).
Cui Zhang,
Karl N. Levitt,
Jim Alves-Foss,
2004,
RAID.
Cui Zhang,
Karl N. Levitt,
Jim Alves-Foss,
2003
.
Karl N. Levitt,
Richard H. Crawford,
Myla Archer,
1993
.
Karl N. Levitt,
Yun Li,
Sisi Duan,
2016,
2016 IEEE 15th International Symposium on Network Computing and Applications (NCA).
Karl N. Levitt,
Matt Bishop,
Bhume Bhumiratana,
2006,
15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'06).
Karl N. Levitt,
Jeff Rowe,
Calvin Ko,
2005,
Third IEEE International Workshop on Information Assurance (IWIA'05).
Cui Zhang,
Karl N. Levitt,
Myla Archer,
1993,
HUG.
Karl N. Levitt,
Gerald C. Cohen,
G. C. Cohen,
1992
.
Karl N. Levitt,
William L. Harrison,
Myla Archer,
1992,
TPHOLs.
Karl N. Levitt,
Jim Alves-Foss,
K. Levitt,
1991,
1991., International Workshop on the HOL Theorem Proving System and Its Applications.
Eugene L. Lawler,
Karl N. Levitt,
James Turner,
1969,
IEEE Transactions on Computers.
Karen Zita Haigh,
Elizabeth Sklar,
Peter McBurney,
2014,
Argument Comput..
Karl N. Levitt,
Jeff Rowe,
Calvin Ko,
2001,
Recent Advances in Intrusion Detection.
Karl N. Levitt,
James C. Reynolds,
J. Just,
2003,
Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].
P. M. Melliar-Smith,
Karl N. Levitt,
R. L. Schwartz,
1984
.
Peter G. Neumann,
Karl N. Levitt,
K. Levitt,
1981,
SOEN.
Karl N. Levitt,
William L. Harrison,
K. Levitt,
1991,
1991., International Workshop on the HOL Theorem Proving System and Its Applications.
Karl N. Levitt,
Jim Alves-Foss,
K. Levitt,
1991,
COMPCON Spring '91 Digest of Papers.
Karl N. Levitt,
Calvin Ko,
George Fink,
1994,
Tenth Annual Computer Security Applications Conference.
Senthilkumar G. Cheetancheri,
K. Levitt,
2007
.
K. Levitt,
A. Scaglione,
G. Kesidis,
2012
.
Todd L. Heberlein,
Chinmayee Rout,
J. Chandrakanta Badajena,
2012
.
Karl N. Levitt,
William H. Kautz,
K. Levitt,
1969,
IEEE Trans. Inf. Theory.
Brian R. Becker,
K. Levitt,
R. Olsson,
1999,
Softw. Test. Verification Reliab..
Elizabeth Sklar,
Simon Parsons,
Karl N. Levitt,
2013,
AAAI Spring Symposium: Trust and Autonomous Systems.
K. Levitt,
P. Neumann,
L. Robinson,
1975,
Reliable Software.
Karl N. Levitt,
Jeff Rowe,
D. Nojiri,
2003,
Proceedings DARPA Information Survivability Conference and Exposition.
Karl N. Levitt,
Raymond W. Yip,
K. Levitt,
1998
.
Karl N. Levitt,
Calvin Ko,
Manfred Ruschitzka,
1997,
Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097).
Karl N. Levitt,
George Fink,
K. Levitt,
1994,
Tenth Annual Computer Security Applications Conference.
Elizabeth Sklar,
Simon Parsons,
Karl N. Levitt,
2012,
NSPW '12.
Karl N. Levitt,
Ronald A. Olsson,
Raymond W. Lo,
1997,
Softw. Test. Verification Reliab..
Anna Scaglione,
George Kesidis,
Karl N. Levitt,
2014,
ArXiv.