32032 search results - page 140 / 6407 » Verified programming in Guru |
108
Voted
FUIN
2006
15 years 4 months ago
2006
Logics for expressing properties of Petri hypernets, a visual formalism for modelling mobile agents, are proposed. Two classes of properties are of interest--the temporal evolution...
126
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Automated theorem provers are used in extended static checking, where they are the performance bottleneck. Extended static checkers are run typically after incremental ch...
143
Voted
CORR
2002
Springer
15 years 4 months ago
2002
Springer
The proposed approach works for any underlying secret sharing scheme. It is based on the concept of verification sets of participants, related to authorized set of participants. T...
136
click to vote
IADIS
2004
15 years 6 months ago
2004
We have designed and deployed a system that uses X.509 public-key certificates (PKC) and attribute certificates (AC) for access control. This includes an authorization service for...
182
Voted
IEEEIAS
2009
IEEE
15 years 2 months ago
2009
IEEE
First we revisit three - BGLS, MBGLS and GZZ verifiably encrypted signature schemes [2, 3, 6]. We find that they are all not strong unforgeable.We remark that the notion of existen...