Object
Title: Effective reduction of cryptographic protocols specification for model-checking with Spin
Description:
Publisher:
Wydaw. Uniwersytetu Marii Curie-Skłodowskiej
Place of publication:
Contributor:
Uniwersytet Marii Curie-Skłodowskiej (Lublin)
Format:
Identifier:
Language:
Relation:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 11,3 (2011)
Rights:
Biblioteka Uniwersytetu Marii Curie-Skłodowskiej
Object collections:
Last modified:
Jun 20, 2016
In our library since:
Oct 14, 2014
Number of object content hits:
114
Number of object content views in DjVu format
113
All available object's versions:
https://bc.umcs.pl/publication/18300
Show description in RDF format:
Show description in OAI-PMH format:
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 1 (2003)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 2 (2004)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 3 (2005)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 4 (2006)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 5 (2006)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 6 (2007)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 7 (2007)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 8 (2008)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 9 (2009)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 10 (2010)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 11 (2011)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 11,1 (2011)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 11,2 (2011)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 11,3 (2011)
- Security problems of systems of extremely weak devices
- Effective reduction of cryptographic protocols specification for model-checking with Spin
- Secure time information in the internet key exchange protocol
- Implementation of the DSSS method in watermarking digital audio objects
- Non-cryptographic methods for improving real time transmission security and integrity
- Small prototype acquisition system with secure remote data access
- Group signature revocable anonymity scheme for network monitoring
- Inuence of CCM, CBC-MAC, CTR and stand-alone encryption on the quality of transmitted data in the high-performance WSN based on Imote2
- The security of the multi-application public transport card : one mifare card exploration
- Mobile identity management system in heterogeneous wireless networks
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 11,4 (2011)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 11,1 (2011)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 12 (2012)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 13 (2013)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 14 (2014)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 15 (2015)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 16 (2016)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 1 (2003)
