1518 search results - page 11 / 304 » Cryptographic Test Correction |
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
90
Voted
FOSSACS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...
104
Voted
ITC
2003
IEEE
15 years 5 months ago
2003
IEEE
Test model generation is crucial in the test generation process of a high-performance design targeted for large volume production. A key process in test model generation requires ...
122
click to vote
CSFW
2010
IEEE
15 years 3 months ago
2010
IEEE
Nowadays it is widely accepted to formulate the security of a protocol carrying out a given task via the "trusted-party paradigm," where the protocol execution is compar...
100
Voted
ACNS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Supervisory Control And Data Acquisition (SCADA) systems are real-time process control systems that are widely deployed throughout critical infrastructure sectors includi...