6293 search results - page 462 / 1259 » Information Flow Testing |
193
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...
187
Voted
CHI
2010
ACM
16 years 2 months ago
2010
ACM
We investigate the use of on-line contextual video assistance to improve the learnability of software functionality. After discussing motivations and design goals for such forms o...
209
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
Program errors are a source of information leaks. Tracking these leaks is hard because error propagation breaks out of program structure. Programming languages often feature excep...
206
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
: Direct application of network coding at the physical layer - physical layer network coding (PNC) - is a promising technique for two-way relay wireless networks. In a two-way rela...
232
click to vote
SECURWARE
2008
IEEE
16 years 1 months ago
2008
IEEE
Mobile ad hoc networking is an operating mode for rapid mobile host interconnection, where nodes rely on each other, in order to maintain network connectivity and functionality. S...