739 search results - page 56 / 148 » A security framework for the analysis and design of software... |
ISSTA
2012
ACM
11 years 11 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
BMCBI
2008
13 years 9 months ago
2008
Background: Despite considerable efforts within the microarray community for standardising data format, content and description, microarray technologies present major challenges i...
CCS
2009
ACM
14 years 3 months ago
2009
ACM
Software flaws in native methods may defeat Java’s guarantees of safety and security. One common kind of flaws in native methods results from the discrepancy on how exceptions...
CN
2007
13 years 9 months ago
2007
A secure multicast framework should only allow authorized members of a group to decrypt received messages; usually, one ‘‘group key’’ is shared by all approved members. Ho...
FIDJI
2003
Springer
14 years 2 months ago
2003
Springer
The UML has become the de facto standard for the analysis and design of complex software. Tool support today includes the generation of code realizing the structural model describe...