| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An interface test model for hardware-dependent software and embedded OS API of the embedded system
|
Sung, Ahyoung
|
|
2007
|
29 |
4 |
p. 430-443
14 p.
|
artikel
|
| 2 |
Automated generation of Promela model from SDL specification
|
Vlaovič, Boštjan
|
|
2007
|
29 |
4 |
p. 449-461
13 p.
|
artikel
|
| 3 |
Editorial Board
|
|
|
2007
|
29 |
4 |
p. iii-
1 p.
|
artikel
|
| 4 |
Emergent standard of knowledge management: Hybrid peer-to-peer knowledge management
|
Yang, Heng-Li
|
|
2007
|
29 |
4 |
p. 413-422
10 p.
|
artikel
|
| 5 |
Extending commutative diagram cryptanalysis to slide, boomerang, rectangle and square attacks
|
Phan, Raphael C.-W.
|
|
2007
|
29 |
4 |
p. 444-448
5 p.
|
artikel
|
| 6 |
Intelligent input software of Tibetan
|
Wei-lan, Wang
|
|
2007
|
29 |
4 |
p. 462-466
5 p.
|
artikel
|
| 7 |
Internet forensics on the basis of evidence gathering with Peep attacks
|
Wang, Shiuh-Jeng
|
|
2007
|
29 |
4 |
p. 423-429
7 p.
|
artikel
|
| 8 |
One-time proxy signatures revisited
|
Bicakci, Kemal
|
|
2007
|
29 |
4 |
p. 499-505
7 p.
|
artikel
|
| 9 |
Vulnerabilities of generalized MQV key agreement protocol without using one-way hash functions
|
Shim, Kyung-Ah
|
|
2007
|
29 |
4 |
p. 467-470
4 p.
|
artikel
|
| 10 |
Writing and executing ODP computational viewpoint specifications using Maude
|
Romero, José Raúl
|
|
2007
|
29 |
4 |
p. 481-498
18 p.
|
artikel
|
| 11 |
Yet another improvement over the Mu–Varadharajan e-voting protocol
|
Rodríguez-Henríquez, F.
|
|
2007
|
29 |
4 |
p. 471-480
10 p.
|
artikel
|
Tijdschrift beschrijving