624 search results - page 46 / 125 » Application of Lightweight Formal Methods to Software Securi... |
143
click to vote
EUROMICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
186
click to vote
NSPW
1998
ACM
15 years 8 months ago
1998
ACM
Object-based programming is becoming more and more popular and is currently conquering the world of distributed programming models. In object-based systems access control is often...
140
click to vote
ESMART
2001
Springer
15 years 8 months ago
2001
Springer
This paper presents an operational semantics for a subset of Java Card bytecode, focussing on aspects of the Java Card firewall, method invocation, field access, variable access,...
132
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
117
click to vote
NSPW
2006
ACM
15 years 10 months ago
2006
ACM
This paper details a true and striking paradigm shift: the use of E-Prime for (at least) user-centered security, organizational/enterprise security policies and informal security ...