Masha Gendler-Fishman

发表

Compile-Time Flow Analysis of Transactions and Methods in Object-Oriented Databases

Ehud Gudes, Masha Gendler-Fishman, 1997, DBSec.

A compile-time model for safe information flow in object-oriented databases

Ehud Gudes, Masha Gendler-Fishman, 1997, SEC.