2173 search results - page 76 / 435 » The History of the History of Software |
163
click to vote
ATVA
2010
Springer
15 years 6 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
ANNALS
2008
15 years 6 months ago
2008
CORR
2008
Springer
15 years 6 months ago
2008
Springer