615 search results - page 55 / 123 » Frameworks for Securing Limited-Device Applications |
ATVA
2006
Springer
14 years 13 days ago
2006
Springer
Motivated by recent applications of pushdown systems to computer security problems, we present an efficient algorithm for the reachability problem of alternating pushdown systems. ...
LCN
2007
IEEE
14 years 3 months ago
2007
IEEE
—Vehicular networks face a typical quandary in their requirement for communications that are at once secure and private. While the messages broadcast between vehicles and between...
ESEM
2008
ACM
13 years 10 months ago
2008
ACM
Complexity is often hypothesized to be the enemy of software security. If this hypothesis is true, complexity metrics may be used to predict the locale of security problems and ca...
IEEEHPCS
2010
13 years 7 months ago
2010
In the last decades, Digital Rights Management (DRM) technology has been laid emphasis on digital contents protection and related security policies, mechanisms and implementation....
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...