Work

Semantic Models for the Security of Sequential and Concurrent Programs

Year: 2001

Type: article

Author: Andrei Sabelfeld

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1522369906

FWCI: 0.962

Cites:

Cited by: 7

Related to: 10