4386 search results - page 40 / 878 » A Tamper-Resistant Programming Language System |
HYBRID
2010
Springer
14 years 2 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
POPL
1997
ACM
13 years 11 months ago
1997
ACM
The following theorem of Huet and L
ACSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toy...
SCAM
2006
IEEE
14 years 1 months ago
2006
IEEE
Many software systems are mixed-language systems today, i.e., they bind together components defined in different programming and specification languages. Analyses and refactorin...
CC
2005
Springer
14 years 1 months ago
2005
Springer
