24 search results - page 4 / 5 » ANN-modeled-classification based on Pi-Calculus |
CSFW
2010
IEEE
13 years 8 months ago
2010
IEEE
RFID tags are being widely employed in a variety of applications, ranging from barcode replacement to electronic passports. Their extensive use, however, in combination with their ...
AINA
2008
IEEE
13 years 11 months ago
2008
IEEE
With quick evolution of grid technologies and increasing complexity of e-Science applications, reasoning temporal properties of grid workflows to ensure reliability and trustworth...
CSFW
2006
IEEE
13 years 11 months ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
CCS
2005
ACM
13 years 11 months ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
ESORICS
2010
Springer
13 years 6 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...