624 search results - page 45 / 125 » Application of Lightweight Formal Methods to Software Securi... |
133
click to vote
FMCO
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
141
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
In a typical client-server scenario, a trusted server provides valuable services to a client, which runs remotely on an untrusted platform. Of the many security vulnerabilities th...
143
Voted
MSCS
2008
15 years 4 months ago
2008
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...
158
click to vote
QOSA
2010
Springer
15 years 7 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
156
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...