2496 search results - page 40 / 500 » Error-detecting properties of languages |
144
click to vote
ET
2010
15 years 2 months ago
2010
In this work we investigate the problem of simultaneous privacy and integrity protection in cryptographic circuits. We consider a white-box scenario with a powerful, yet limited at...
148
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
Many general-purpose, object-oriented scripting languages are dynamically typed, to keep the language flexible and not reject any programs unnecessarily. However, dynamic typing ...
158
click to vote
APSEC
2008
IEEE
15 years 5 months ago
2008
IEEE
Reactive systems are often described by interconnecting sub-components along architectural connectors defining communication policies. Generally, such global systems may exhibit p...
109
click to vote
JSS
2010
15 years 2 months ago
2010
—Probabilistic properties are considered as the most important requirements for a variety of software systems, since they are used to formulate extra-functional requirements such...
119
click to vote
ACSAC
2008
IEEE
15 years 5 months ago
2008
IEEE
Access control policies are often specified in declarative languages. In this paper, we propose a novel approach, called mutation verification, to assess the quality of properties...