en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Kemmerer
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
publications per page:
5
10
20
50
100
publications
(116)
tags
dblp
nn
brain
space
imported
time
metaphor
cognition
spatial
Metaphor
typology
Semantics
Time
reasoning
neuroscience
nlp
semantics
No matching items.
Understanding fraudulent activities in online ad exchanges.
Brett Stone-Gross
,
Ryan Stevens
,
Apostolis Zarras
,
Richard A. Kemmerer
,
Christopher Kruegel
, and
Giovanni Vigna
.
Internet Measurement Conference,
page 279-294.
ACM,
(
2011
)
Brett Stone-Gross
,
Ryan Stevens
,
Apostolis Zarras
,
Richard A. Kemmerer
,
Christopher Kruegel
, and
Giovanni Vigna
.
Internet Measurement Conference,
page 279-294.
ACM,
(
2011
)
6 months and 3 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Using Formal Verification Techniques to Analyze Encryption Protocols.
Richard A. Kemmerer
.
IEEE Symposium on Security and Privacy,
page 134-139.
IEEE Computer Society,
(
1987
)
Richard A. Kemmerer
.
IEEE Symposium on Security and Privacy,
page 134-139.
IEEE Computer Society,
(
1987
)
6 months and 26 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Stateful Intrusion Detection for High-Speed Networks.
Christopher Krügel
,
Fredrik Valeur
,
Giovanni Vigna
, and
Richard A. Kemmerer
.
IEEE Symposium on Security and Privacy,
page 285-293.
IEEE Computer Society,
(
2002
)
Christopher Krügel
,
Fredrik Valeur
,
Giovanni Vigna
, and
Richard A. Kemmerer
.
IEEE Symposium on Security and Privacy,
page 285-293.
IEEE Computer Society,
(
2002
)
6 months and 26 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
An Experience Using Two Covert Channel Analysis Techniques on a Real System Design.
J. Thomas Haigh
,
Richard A. Kemmerer
,
John McHugh
, and
William D. Young
.
IEEE Symposium on Security and Privacy,
page 14-24.
IEEE Computer Society,
(
1986
)
J. Thomas Haigh
,
Richard A. Kemmerer
,
John McHugh
, and
William D. Young
.
IEEE Symposium on Security and Privacy,
page 14-24.
IEEE Computer Society,
(
1986
)
6 months and 26 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
SDC Secure Release Terminal Project.
Thomas H. Hinke
,
Jose Althouse
, and
Richard A. Kemmerer
.
IEEE Symposium on Security and Privacy,
page 113-119.
IEEE Computer Society,
(
1983
)
Thomas H. Hinke
,
Jose Althouse
, and
Richard A. Kemmerer
.
IEEE Symposium on Security and Privacy,
page 113-119.
IEEE Computer Society,
(
1983
)
6 months and 26 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
RT-ASLAN: A Specification Language for Real-Time Systems.
Brent Auernheimer
, and
Richard A. Kemmerer
.
IEEE Trans. Software Eng.
12(9):879-889
(
1986
)
Brent Auernheimer
, and
Richard A. Kemmerer
.
IEEE Trans. Software Eng.
12(9):879-889
(
1986
)
7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The Underground Economy of Fake Antivirus Software.
Brett Stone-Gross
,
Ryan Abman
,
Richard A. Kemmerer
,
Christopher Kruegel
, and
Douglas G. Steigerwald
.
WEIS,
(
2011
)
Brett Stone-Gross
,
Ryan Abman
,
Richard A. Kemmerer
,
Christopher Kruegel
, and
Douglas G. Steigerwald
.
WEIS,
(
2011
)
10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Using the ASTRAL Model Checker to Analyze Mobile IP.
Zhe Dang
, and
Richard A. Kemmerer
.
ICSE,
page 132-142.
ACM,
(
1999
)
Zhe Dang
, and
Richard A. Kemmerer
.
ICSE,
page 132-142.
ACM,
(
1999
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems.
Zhe Dang
, and
Richard A. Kemmerer
.
ICSE,
page 345-354.
ACM,
(
2000
)
Zhe Dang
, and
Richard A. Kemmerer
.
ICSE,
page 345-354.
ACM,
(
2000
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Completely Validated Software.
Richard A. Kemmerer
.
ICSE,
page 359-360.
IEEE Computer Society / ACM Press,
(
1989
)
Richard A. Kemmerer
.
ICSE,
page 359-360.
IEEE Computer Society / ACM Press,
(
1989
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
UNISEX: A UNIX-based Symbolic EXecutor for Pascal.
Richard A. Kemmerer
, and
Steven T. Eckman
.
Softw., Pract. Exper.
15(5):439-458
(
1985
)
Richard A. Kemmerer
, and
Steven T. Eckman
.
Softw., Pract. Exper.
15(5):439-458
(
1985
)
a year and a month ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Dymo: Tracking Dynamic Code Identity.
Bob Gilbert
,
Richard A. Kemmerer
,
Christopher Kruegel
, and
Giovanni Vigna
.
RAID,
volume 6961 of Lecture Notes in Computer Science,
page 21-40.
Springer,
(
2011
)
Bob Gilbert
,
Richard A. Kemmerer
,
Christopher Kruegel
, and
Giovanni Vigna
.
RAID,
volume 6961 of Lecture Notes in Computer Science,
page 21-40.
Springer,
(
2011
)
a year and 3 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Security Testing of an Online Banking Service.
André L. M. dos Santos
,
Giovanni Vigna
, and
Richard A. Kemmerer
.
E-Commerce Security and Privacy,
volume 2 of Advances in Information Security,
Springer,
(
2001
)
André L. M. dos Santos
,
Giovanni Vigna
, and
Richard A. Kemmerer
.
E-Commerce Security and Privacy,
volume 2 of Advances in Information Security,
Springer,
(
2001
)
a year and 3 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The Cross-Linguistic Prevalence of SOV and SVO Word Orders Reflects the Sequential and Hierarchical Representation of Action in Broca's Area.
David Kemmerer
.
Language and Linguistics Compass
6(1):50-66
(
2012
)
David Kemmerer
.
Language and Linguistics Compass
6(1):50-66
(
2012
)
a year and 3 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
NetSTAT: A Network-Based Intrusion Detection Approach.
Giovanni Vigna
, and
Richard A. Kemmerer
.
ACSAC,
page 25-34.
IEEE Computer Society,
(
1998
)
Giovanni Vigna
, and
Richard A. Kemmerer
.
ACSAC,
page 25-34.
IEEE Computer Society,
(
1998
)
a year and 4 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Stateful Intrusion Detection System for World-Wide Web Servers.
Giovanni Vigna
,
William K. Robertson
,
Vishal Kher
, and
Richard A. Kemmerer
.
ACSAC,
page 34-43.
IEEE Computer Society,
(
2003
)
Giovanni Vigna
,
William K. Robertson
,
Vishal Kher
, and
Richard A. Kemmerer
.
ACSAC,
page 34-43.
IEEE Computer Society,
(
2003
)
a year and 4 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Refinement and Verification of Real-Time Systems
Paul Z. Kolano
,
Carlo A. Furia
,
Richard A. Kemmerer
, and
Dino Mandrioli
.
CoRR
(
2010
)
Paul Z. Kolano
,
Carlo A. Furia
,
Richard A. Kemmerer
, and
Dino Mandrioli
.
CoRR
(
2010
)
a year and 5 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
How to steal a botnet and what can happen when you do.
Richard A. Kemmerer
.
ICSM,
page 1.
IEEE,
(
2011
)
Richard A. Kemmerer
.
ICSM,
page 1.
IEEE,
(
2011
)
a year and 6 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
An Experience Using Two Covert Channel Analysis Techniques on a Real System Design.
J. Thomas Haigh
,
Richard A. Kemmerer
,
John McHugh
, and
William D. Young
.
IEEE Trans. Software Eng.
13(2):157-168
(
1987
)
J. Thomas Haigh
,
Richard A. Kemmerer
,
John McHugh
, and
William D. Young
.
IEEE Trans. Software Eng.
13(2):157-168
(
1987
)
a year and 6 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Formal Framework for ASTRAL Intralevel Proof Obligations.
Alberto Coen-Porisini
,
Richard A. Kemmerer
, and
Dino Mandrioli
.
IEEE Trans. Software Eng.
20(8):548-561
(
1994
)
Alberto Coen-Porisini
,
Richard A. Kemmerer
, and
Dino Mandrioli
.
IEEE Trans. Software Eng.
20(8):548-561
(
1994
)
a year and 6 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact