624 search results - page 16 / 125 » Application of Lightweight Formal Methods to Software Securi... |
FCA
2005
Springer
15 years 3 months ago
2005
Springer
Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This...
ASM
2010
ASM
14 years 11 months ago
2010
ASM
Abstract. Smart Card applications usually require reliability and security to avoid incorrect operation or access violation in transactions and corruption or undue access to stored...
SOSYM
2010
14 years 4 months ago
2010
Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component...
CORR
2011
Springer
14 years 4 months ago
2011
Springer
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
94
Voted
EUROMICRO
2007
IEEE
15 years 3 months ago
2007
IEEE
Multicast network services advantageously complement multimedia information and communication technologies, as they open up the realm for highly scalable multicustomer application...