Oracle Labs
Home
About Us
Projects
Researchers
All Careers
Internships
Publications
Locations
External Research Office
Expressing Security Properties Using Selective Interleaving Functions
Oracle Labs
Publications
Expressing Security Properties Using Selective Interleaving Functions
Expressing Security Properties Using Selective Interleaving Functions
Joseph Y. Halpern, Sabina Petride
31 December 2006
Venue
: N/A