|
Calculi for Access Control
|
Calculi for Access Control
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and tools. Martin Abadi, Microsoft Research/UC Santa Cruz, reviews some of that work and its applications. He also explores a new approach based on type systems, specifically on a type system for tracking dependencies. From the Series:CSE Colloquia - 2007
Video Length: 0
Date Found: February 12, 2009
Date Produced: October 24, 2006
View Count: 2
|
|
|
|
|
I got punched by an old guy, for farting near his wife. Read MoreComic book creator Stan Lee talks the future of the medium in the digital age. Panelists Zachary... Read MoreThe U.S. launch of Spotify is still on music lovers' minds. Join Zachary Levi, from NBC’s... Read MoreTuesday: Rupert Murdoch testifies before Parliament on the hacking scandal that brought down "News... Read MoreAfter a long slump, the home construction industry may be showing signs of life. But as Bill... Read More | 1 2 3 4 5 |
|
|
|