1302 search results - page 141 / 261 » Soundness in the Public-Key Model |
197
click to vote
LOPSTR
2007
Springer
16 years 17 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
272
click to vote
SP
2006
IEEE
16 years 13 days ago
2006
IEEE
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...
158
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
169
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Parallel programming continues to be difficult, despite substantial and ongoing research aimed at making it tractable. Especially dismaying is the gulf between theory and the pract...
205
click to vote
DEXA
1997
Springer
15 years 10 months ago
1997
Springer
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for ...