Sciweavers

16 search results - page 2 / 4
» Transforming and Selecting Functional Test Cases for Securit...
Sort
View
SAFECOMP
2005
Springer
13 years 10 months ago
Control and Data Flow Testing on Function Block Diagrams
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...
Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha
IACR
2011
104views more  IACR 2011»
12 years 5 months ago
Collusion Resistant Obfuscation and Functional Re-encryption
Program Obfuscation is the problem of transforming a program into one which is functionally equivalent, yet whose inner workings are completely unintelligible to an adversary. Des...
Nishanth Chandran, Melissa Chase, Vinod Vaikuntana...
CSFW
2010
IEEE
13 years 9 months ago
Towards Quantitative Analysis of Proofs of Authorization: Applications, Framework, and Techniques
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
Adam J. Lee, Ting Yu
BMCBI
2006
143views more  BMCBI 2006»
13 years 5 months ago
Discovering functional gene expression patterns in the metabolic network of Escherichia coli with wavelets transforms
Background: Microarray technology produces gene expression data on a genomic scale for an endless variety of organisms and conditions. However, this vast amount of information nee...
Rainer König, Gunnar Schramm, Marcus Oswald, ...
CDC
2009
IEEE
126views Control Systems» more  CDC 2009»
13 years 6 months ago
Support vector machine classifiers for sequential decision problems
Classification problems in critical applications such as health care or security often require very high reliability because of the high costs of errors. In order to achieve this r...
Eladio Rodriguez Diaz, David A. Castaon