Back to Results
First PageMeta Content
Control flow / Setjmp.h / Crime prevention / National security / User identifier / Vulnerability / Chroot / Model checking / Computer security / System software / Computing / Software


MOPS: an Infrastructure for Examining Security Properties of Software ∗ †
Add to Reading List

Document Date: 2015-01-21 19:48:40

Open Document

File Size: 207,64 KB

Share Result on Facebook

City

San Francisco / Washington / DC / /

Company

J. Foster / Sendmail Inc. / Intel / /

Country

United States / /

Currency

USD / /

/

Facility

Berkeley University of California at Berkeley / /

IndustryTerm

model checking algorithm / type-based analysis tool / compaction algorithm / intra-procedural tool / system software / bug-finding tool / software model checking systems / software model checking / securityrelevant software / manual auditing / call site / related tools / Software vulnerabilities / security-relevant software / program analysis tool / model checking pushdown systems / property-verification tool / manual audit / /

OperatingSystem

Unix / Linux / Unix system / POSIX / /

Organization

University of California / UC Berkeley / Financial Services Authority / i.e. / FSA / Berkeley University / /

Person

Hao Chen David / Dawn Song / Robert Johnson / Drew Dean / David Schultz / Helen Wang / /

/

Position

General / programmer / /

Product

C-8040 / /

ProgrammingLanguage

Java / C / /

ProvinceOrState

California / /

Technology

Object-Oriented Programming / Unix / Linux / model checking algorithm / operating system / html / Operating Systems / compaction algorithm / Java / Unix system / PDA / /

URL

http /

SocialTag