890 search results - page 109 / 178 » Programming language methods in computer security |
ACSAC
2005
IEEE
14 years 3 months ago
2005
IEEE
Recent research has proposed self-checksumming as a method by which a program can detect any possibly malicious modification to its code. Wurster et al. developed an attack again...
GI
2001
Springer
14 years 2 months ago
2001
Springer
The “Object Constraint Language” (OCL) offers a formal notation for constraining model elements in UML diagrams. OCL consists of a navigational expression language which, for ...
CCS
2008
ACM
13 years 12 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
SI3D
1995
ACM
14 years 1 months ago
1995
ACM
In this paper, a method of encapsulating camera tasks into well defined units called “camera modules” is described. Through this encapsulation, camera modules can be programm...
DAC
1998
ACM
14 years 2 months ago
1998
ACM
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...