Concepedia

System Call Semantics

System Call Semantics is a formal specification that defines the expected behavior, side effects, and contractual obligations of system calls within an operating system, distinguishing it from mere interface descriptions by capturing the underlying computational meaning and validity conditions of kernel-level operations.

55

Publications

2.5K

Citations

120

Authors

46

Institutions

Publications per year

2017–2026

4

Parents

Publications

55

Improving host security with system call policies

Niels Provos · Deep Blue (University of Michigan) · 2003 · 448 citations · Full text

, , +16

Remote procedure call

Bruce Jay Nelson · CERN Document Server (European Organization for Nuclear Research) · 1981 · 369 citations

, , +17

Traps and Pitfalls: Practical Problems in System Call Interposition Based Security Tools.

Tal Garfinkel · 2003 · 222 citations

, , +17

LOCUS a network transparent, high reliability distributed system

Gerald J. Popek, Bruce J. Walker, J. Chow et al. · ACM SIGOPS Operating Systems Review · 1981 · 215 citations

, , +14

LOCUS a network transparent, high reliability distributed system

Gerald J. Popek, Bruce J. Walker, J. Chow et al. · 1981 · 120 citations · Full text

, , +14

1–5 of 55

Authors

120

  1. BJ
    Bruce J. Walker

    Broad Institute, United States

    2 publications · 335 citations

    2

    h-index

  2. BN
    Brian N. Bershad

    University of Washington, United States

    1 publications · 23 citations

    2

    h-index

  3. JC
    J. Chow

    University of California, Los Angeles, United States

    2 publications · 335 citations

    2

    h-index

  4. GR
    G. Rudisin

    University of California System, United States

    2 publications · 335 citations

    2

    h-index

  5. YS
    Yannis Smaragdakis

    National and Kapodistrian University of Athens, Greece

    2 publications · 29 citations

    2

    h-index

1–5 of 120

Institutions

46

  1. Carnegie Mellon University

    Pittsburgh, United States

    2 h-index

    5 publications

    124 citations

  2. University of Stirling

    Stirling, United Kingdom

    2 h-index

    3 publications

    51 citations

  3. Google (United States)

    Mountain View, United States

    2 h-index

    2 publications

    38 citations

  4. University of Cambridge

    Cambridge, United Kingdom

    2 h-index

    4 publications

    180 citations

  5. Xidian University

    Xi'an, China

    1 h-index

    3 publications

    72 citations

  6. Virginia Tech

    Blacksburg, United States

    1 h-index

    1 publications

    10 citations

  7. Heinrich Heine University Düsseldorf

    Düsseldorf, Germany

    1 h-index

    2 publications

    54 citations

  8. The University of Adelaide

    Adelaide, Australia

    1 h-index

    3 publications

    39 citations

1–8 of 46

Venues

  1. Computer Networks

    3 publications · 52 citations

    3

    h-index

  2. Theoretical Computer Science

    3 publications · 59 citations

    3

    h-index

  3. IEEE Communications Magazine

    3 publications · 58 citations

    3

    h-index

  4. Computer

    2 publications · 33 citations

    2

    h-index

  5. USENIX Security Symposium

    Conference · 1 publications · 23 citations

    1

    h-index

1–5