1183 search results - page 166 / 237 » On flow-sensitive security types |
132
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Developer testing is a type of testing where developers test their code as they write it, as opposed to testing done by a separate quality assurance organization. Developer testin...
139
click to vote
SCN
2010
Springer
15 years 2 months ago
2010
Springer
An identity-based encryption (IBE) scheme can greatly reduce the complexity of sending encrypted messages. However, an IBE scheme necessarily requires a private-key generator (PKG)...
148
click to vote
VIROLOGY
2010
15 years 2 months ago
2010
By looking on how computer security issues are handled today, dealing with numerous and unknown events is not easy. Events need to be normalized, abnormal behaviors must be describ...
115
click to vote
SIGSOFT
2002
ACM
16 years 5 months ago
2002
ACM
This paper explores the idea that redundant operations, like type errors, commonly flag correctness errors. We experimentally test this idea by writing and applying four redundanc...
140
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
—Detecting malicious packet dropping is important in ad hoc networks to combat a variety of security attacks such as blackhole, greyhole, and wormhole attacks. We consider the de...