1027 search results - page 127 / 206 » Callgraph properties of executables |
124
click to vote
CSFW
2002
IEEE
15 years 8 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
158
click to vote
POPL
1997
ACM
15 years 8 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
137
click to vote
AOSD
2009
ACM
15 years 6 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
151
click to vote
FIW
2007
15 years 5 months ago
2007
Assuring safety in the home network system (HNS) is a crucial issue to guarantee high quality of life. In this position paper, we first review our previous work, formulating three...
140
click to vote
FORTE
2003
15 years 5 months ago
2003
The aim of passive testing is to detect faults in a system while observing the system during normal operation, that is, without forcing the system to specialized inputs explicitly ...