544 search results - page 15 / 109 » A Logic Based Approach to the Static Analysis of Production ... |
PASTE
2004
ACM
14 years 1 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
FMICS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
Multi-agent System Product Lines (MAS-PLs) have emerged to integrate software product lines (SPLs) and agent-oriented software engineering techniques by incorporating their respec...
EUROCRYPT
2010
Springer
14 years 23 days ago
2010
Springer
In this paper, we present two fully secure functional encryption schemes. Our first result is a fully secure attribute-based encryption (ABE) scheme. Previous constructions of AB...
IEEEARES
2008
IEEE
14 years 2 months ago
2008
IEEE
Policy conformance is a security property gaining importance due to commercial interest like Digital Rights Management. It is well known that static analysis can be used to valida...