357 search results - page 3 / 72 » Verifying properties of process definitions |
CSFW
2012
IEEE
11 years 8 months ago
2012
IEEE
—Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...
ATAL
2009
Springer
14 years 19 days ago
2009
Springer
The agentTool III (aT3 ) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation...
ITC
2002
IEEE
13 years 11 months ago
2002
IEEE
This paper develops a novel approach for formally verifying both safety and liveness properties of designs using sequential ATPG tools. The properties are automatically mapped int...
SIGSOFT
2008
ACM
13 years 4 months ago
2008
ACM
Software development processes can be represented as objects because they and the elements that compose them have attributes and operations, can be linked by relationships and hav...
ESORICS
2010
Springer
13 years 7 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...