Language-based information-flow security

2003 · IEEE Journal on Selected Areas in Communications · 1,902 citations · 0 from inside this corpus

The source holds an abstract for this work, but its best open-access copy is under no open licence, which does not permit us to republish the text. Read it at the source below.

6 of 6 neighbouring works in this corpus. Blue is what this paper cites; orange is what cites it, and a dashed line is one neighbour citing another. Only the largest labels are drawn — every node carries its full title on hover.

this paper works it cites works citing it node size = global citations · hover for the full title

What this paper cites, inside the corpus

Paper	Year	Cited
Abstract interpretation	1977	6,242
On the security of public key protocols	1983	5,827
Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems	1996	4,329
End-To-End Arguments In System Design	1984	2,131
A lattice model of secure information flow	1976	1,902
Proof-carrying code	1997	1,834

Links

DOI · OpenAlex record

Topics

Security and Verification in Computing	Computer Science
Advanced Malware Detection Techniques	Computer Science
Network Security and Intrusion Detection	Computer Science

Is this record sound?

complete

Nothing in this record contradicts itself and no field we check is missing.

supports2 author record(s) attached.
supports170 reference(s) recorded.
supportsThe DOI's year agrees with the publication year.
supportsA title is present.

Provenance

Everything above was read from one stored OpenAlex payload, fetched 2026-09-04T03:58:52+00:00.

sha256 930f5bc64fea8a60…