1129 search results - page 158 / 226 » Formal Verification of Websites |
156
click to vote
EGCDMAS
2004
15 years 3 months ago
2004
Security policies are abstract descriptions of how a system should behave to be secure. They typically express what is obligatory, permitted, or forbidden in the system. When the s...
125
click to vote
FMOODS
2006
15 years 3 months ago
2006
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
107
click to vote
ROOM
2000
15 years 3 months ago
2000
For the specification of object-oriented systems, usually several models representing different views are developed. The necessary integration of views is often delayed until impl...
115
click to vote
ROOM
2000
15 years 3 months ago
2000
This paper proposes a revised semantic interpretation of UML Statechart Diagrams which ensures, under the specified design rules, that Statecharts may be constructed to have true ...
118
click to vote
ESORICS
2010
Springer
15 years 3 months ago
2010
Springer
Due to their nature, Peer-to-Peer (P2P) systems are subject to a wide range of security issues. In this paper, we focus on a specific security property, called the root authenticit...