180 search results - page 8 / 36 » Verifying Security Properties of Cryptoprotocols: A Novel Ap... |
HICSS
2011
IEEE
12 years 11 months ago
2011
IEEE
Vulnerabilities in a system may have widely varying impacts on system security. In practice, security should not be defined as the absence of vulnerabilities. In practice, securit...
CBSE
2011
Springer
12 years 7 months ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...
FUIN
2007
13 years 7 months ago
2007
In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a session and ...
ECOWS
2009
Springer
14 years 2 months ago
2009
Springer
—Current Web service composition approaches and languages such as WS-BPEL do not allow to define temporal constraints in a declarative and separate way. Also it is not possible ...
ISSRE
2010
IEEE
13 years 5 months ago
2010
IEEE
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...