Old Web
English
Sign In
Acemap
>
authorDetail
>
Richard J. Feiertag
Richard J. Feiertag
Computer science
Formal specification
Specification language
Theoretical computer science
Formal verification
6
Papers
172
Citations
0.37
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
PSOS revisited
2003
ACSAC | Annual Computer Security Applications Conference
Peter G. Neumann
Richard J. Feiertag
Show All
Source
Cite
Save
Citations (57)
A Common Intrusion Specification Language
1999
Richard J. Feiertag
Cliff Kahn
Phillip A. Porras
Daniel D. Schnackenberg
Stuart Staniford-chen
Brian Tung
Show All
Source
Cite
Save
Citations (44)
Does TCB subsetting enhance trust
1989
ACSAC | Annual Computer Security Applications Conference
Richard J. Feiertag
Show All
Source
Cite
Save
Citations (1)
A Technique for Proving Specifications are Multilevel Secure
1980
Richard J. Feiertag
Show All
Source
Cite
Save
Citations (59)
Software development and proofs of multi-level security
1976
ICSE | International Conference on Software Engineering
Peter G. Neumann
Richard J. Feiertag
Karl N. Levitt
Lawrence Robinson
Show All
Source
Cite
Save
Citations (11)
1