1210 search results - page 138 / 242 » Secure Logic Synthesis |
134
Voted
JCP
2008
15 years 3 months ago
2008
Trust mechanism will be an important trend in the field of security for open network. But, as an important factor risk is little considered in trust model. In this paper, Further w...
133
Voted
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
Several current research efforts in business process modeling are investigating XML-based executable formal specification languages. The availability of the latter allows modeled...
135
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
131
Voted
EUROSYS
2010
ACM
15 years 8 months ago
2010
ACM
A complex software system typically has a large number of objects in the memory, holding references to each other to implement an object model. Deciding when the objects should be...
122
Voted
CODES
2005
IEEE
15 years 5 months ago
2005
IEEE
We propose a secure platform on a chip multiprocessor, known as FIDES, in order to enable next generation mobile terminals to execute downloaded native applications for Linux. Its...