1183 search results - page 63 / 237 » On flow-sensitive security types |
137
click to vote
AMW
2010
15 years 6 months ago
2010
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...
135
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
178
click to vote
GRID
2005
Springer
15 years 10 months ago
2005
Springer
— The Grid offers significant opportunities for performing wide area distributed computing, allowing multiple organizations to collaborate and build dynamic and flexible virtual ...
165
click to vote
CSFW
2007
IEEE
15 years 8 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...
142
click to vote
ACSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
Restrictions are commonly placed on the permitted uses of network protocols in the interests of security. These restrictions can sometimes be difficult to enforce. As an example, ...