Obiekt
Tytuł: Effective reduction of cryptographic protocols specification for model-checking with Spin
Opis:
Wydawca:
Wydaw. Uniwersytetu Marii Curie-Skłodowskiej
Miejsce wydania:
Współtwórca:
Uniwersytet Marii Curie-Skłodowskiej (Lublin)
Format:
Identyfikator zasobu:
Język:
Powiązania:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 11,3 (2011)
Prawa:
Biblioteka Uniwersytetu Marii Curie-Skłodowskiej
Kolekcje, do których przypisany jest obiekt:
Data ostatniej modyfikacji:
20 cze 2016
Data dodania obiektu:
14 paź 2014
Liczba wyświetleń treści obiektu:
115
Liczba wyświetleń treści obiektu w formacie DjVu
114
Wszystkie dostępne wersje tego obiektu:
https://dlibra.umcs.lublin.pl/publication/18300
Wyświetl opis w formacie RDF:
Wyświetl opis w formacie OAI-PMH:
-
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)
