Statistics
Publications
1
Citations
105
H-Index
1
Active since
1976
Affiliations
Yale University(Current)
A. K. Jones is an author at Yale University specializing in computer security, formal security verification, and security verification.
Publications per year
1976–1976
1
1
A Linear time algorithm for deciding security
A. K. Jones, R.J. Lipton, Lawrence Snyder · 1976 · 105 citations
1–1 of 1