ăn phẩm thể Java cia NXP
Sản phẩm thẻ Tĩnh năng
Đồng thể Java Card
Classic
Tạp sẵn hệ điều hành Tava Card 3.0.1
Tương thích với bộ tiêu chuẩn GP 22
Dung luong 80KB
TH tro giao tiép tiếp xúc và không liếp xúc
Hỗ trợ mã hóa AES, R5A.
HÃ trợ giao thức T=1
Thẻ JCOP2I Nạp sẵn hệ điều hành Java Card 2.2.2
Tương thích với bộ tiêu chuẩn GP 2.1.1
Dung lượng 80KE, 144KB
Thẻ JCOP SIM. Nạp sẵn hệ điều hành Java Card 2.2.1
Tương thích với bộ tiêu chuẩn ŒP 211
Dung hong 40KB, 80KB
Xích thước Miero-SIM hoặc Nano-SIM
Thế TCOP4I Tạp sẵn hệ điều hành Tava Card 22.1 Tương thích với bộ liêu chuẩn GP 2.1.1
Hỗ trợ 3 loại giao tiếp: tiếp xúc, không tiếp xúc va USB
Thing Việt Anh 12BKTĐT
Nehién cophat trién img dung cho Java Card Neyhitn clu hé thong Java Card 3.2.2. Các đặc điểm cũa hệ điều hành Java Card
2.2.2.1. May do Java
Máy ảo Java hỗ trợ việc thục thí mã Java bao gồm cả việc xử lý các ngoại lệ
(exception). Môi trường chạy Tava (JCRE) gồm có một máy ão Tava và các lớp lõi
hỗ trợ việc định tuyến APDU, giao thức giao tiếp theo tiêu chuẩn ISO và xử lý các
lệnh dạng giao dich
Máy áo duoc chia thanh hai phần một phân chạy các ứng dụng trêu thiết bi đầu cuối và phần còn lại chạy các ứng dung trén thé. May ão trên trẻ thực thí các đoạn ma, quản lý các lớp và đối tượng, tạo ngăn cách tường lửa giữa các ứng dụng và hỗ
trợ chía sẽ dữ liệu một cách bão một,
Máy ảo Taya trên thiết bị đầu cuỗi có một bộ công cụ chuyển đổi hỗ trợ việc xác thực, chuẩn bị đóng gót, tốt ưu bỏa mã, Các lớp động không được hỗ trợ trong Java Card bởi các lép này cân phải truy cập vào những vị trí lưu trữ của tệp mô tả lớp, điều này là bát khả thí Irong môi trường thể. Bộ công cụ chuyển đổi đóng gói tất cả
các lớp được tng dụng tham chiều tới vào một gói ứng dụng. Lúc nảy bộ công cu
chuyển đổi đóng vai trỏ là một bộ tiến xử lý gói ung dung Java Card với các tiến trình cụ thể:
1. Xác thực - kiểm tra gói ứng dụng đã được định dang đúng với đẩy đủ các bằng kí tự và kiểm tra vẻ ngỏn ngữ lập trình cỏ vi phạm các quy tắc của Java
Card hay không
Chuẩn bị - cấp phát bộ nhớ để tạo kiến trúc đỡ liệu cho máy ảo rương ứng
rey
với các lớp, tạo các trường tĩnh vá các phương thức, khởi tao các biên với giá trị ban đầu
3. Quyết định - thay thế các tham chiêu kí tự tới phương thức và biến bằng tham chiếu trục tiếp khi có thể
Thue hién các bước trêu trong bộ công cụ chuyển đổi trước khi ứng đạng được
cài lên thẻ cho phép máy ảo trên thẻ có thể hoạt động hiệu quả hon. Một khi ứng
Thing Việt Anh 12BKTĐT 4?
Nehién cophat trién img dung cho Java Card Neyhitn clu hé thong Java Card
đụng đã được cải đặt lên thế nó sẽ được cơi là đã được nạp và sẵn sàng để chạy
TCRE sau đó thực hiện một số thủ tục khởi tạo để tạo ra những giá trị ban đầu cho
các biến, hỗng số,
3.3.2.2. Đặc trưng ngôn ngĩt
ẹo với nền tầng Tava thỡ Tava Card cú nhiều điểm khỏo biệt về ngụn ngữ lập trỡnh do sự hạn chế vẻ tải nguyên lrên môi trường thê Điểm khác biệt chủ yêu đó là Java
Card chỉ hỗ trợ íng dụng đạng Applet mà không hỗ tre cac img dung loai khác
Giao điện ứng dụng (APT) Java Card sử đụng một tập con của ngôn ngữ lập trình Java phiên bản 1.0.2, Các ứng dụng Java Card hoàn toàn có thể chạy trên các phiên bên TDK sau đỏ như 1.1, 2.0
Sự khác biệt giữa Tava va Tava Card được tổng kết lại như sau.
Lắng (Threads)
ô = Nộntang Java Card khụng hỗ trợ luồng do cỏc CPU outa chip hiện nay khụng hỗ trợ xử lý đa luỗng,
* Java Card cting khéng hé tro các phương thức đồng bộ sử dụng để truy cập lởi các biến và phương thức giữa các luỗng,
GC (Garbage Collection)
œ Công nghé Java Card không hã trợ GC da đá phương thức finalize() không, được hỗ trợ
Dữ liệu và phép toán cơ bản
ô Tương tự lava, Java Card hố trợ 3 dạng dữ liệu cơ bản là: byte, short va
Boolcan. Byte là một số nguyên 8 bít có dấu với dâi giá trị từ -128 tới 127.
Short la mét sé nguyén 16 bit eó dấu với dãi giá trị từ -32768 tới 32767. Java
Card biểu điễn một gia trị boolean là một bvte. Điều nay trái ngược với Java khi coi mol gia trị boolean la mét. sé int.
ôJava Card khụng hỗ trợ cỏc dạng dữ liệu: char, donble, [loaL hoặc long.
ô Dạng đữ liệu byte cú thể được ộp kiểu thỏnh short mỏ khụng bị mất dữ liệu trong khi nếu ép kiểu từ short về byle, giá trị sế bị mắt § bịt trong sé cao
Thing Việt Anh 12BKTĐT As
Nehién cophat trién img dung cho Java Card Neyhitn clu hé thong Java Card
* Pé dam bao tinh déng nhất voi Java, Tava Card sử dụng các luật ép kiểu với công thức chung là kết quả của các phép tính trung gian hoặc cáo phép tinh
không được gần phải được ép kiểu thành dạng byIe hoặc short trong khi dùng
kết hợp với gác phép tính khác.
Mang
® Java Card chi hd tro mang mét chiéu. Mang phai cé cde phân tử thuộc một trong ba dang dit ligu co ban. Mét phin ti trong ming có thể được tham chiếu tới mảng khác.
© Các phương thức làm việc với màng cơ bên la UULarayCopyQ, UtiLarrayCopyNonAtomic(), UtiLarrayFill(), Util. arayFillNonAtomic()
Thừa ké
* Nén tang Java Card hỗ Irỡ hoàn Loàn các tính răng thira.ké nhu Java. Ghi dé phương thức, phương thức ảo, và các giao điện đều được hỗ trợ. Các từ khóa super hay this cing được hỗ trợ với chức nắng tương tự trong Java.
Bao mat
ôCỏc tớnh năng bio mat ofa Java đều được Java Card hỗ trợ như lả xỏc thực đoạn mã, đâm bảo rằng toàn bộ các đoạn mã trong applet có thê nhảy tới, tạo
che (hide tink (ray nhdp public, private, protected Khả năng cài đất
œ Java Card API cho phép cóc ửng dụng Java Card có thể chạy trên tắt cả các Tiên tàng Tava Card trên các loại chịp khác rau
œ_ Công nghệ Java Card cung cấp phần mêm độc lập với các tính năng ota CPU như tập lệnh, độ rộng bus... đồng thời các phần mẻm này cũng không phụ thuộc vào giao thức trao đổi giữ liệu giữa thẻ và thiết bị đọc
Ngoại lệ (Exceptions)
* Cac ting dung Java Card cần được kiếm tra kĩ lưỡng đẻ trảnh các lỗi trong quả trình thực thì trên thẻ. Để hỗ trợ việc lập trình vả sửa lồi, nên tăng Java Card hễ trợ toàn bộ các phương thức xử lý ngoại lệ. Người lập trinh cỏ thể sử
Thing Việt Anh 12BKTĐT 49
Nehién cophat trién img dung cho Java Card Neyhitn clu hé thong Java Card
đụng cỏc phương thie iry(), calch() hoặc ủnaflyQ cũng như từ khúa throw
với nền ting Java Card
e Nén tang Java Card khéng hé tro toàn bộ các kiểu ngaại lệ trong Java do
không liên quan tới ứng dụng trên mỗi trudng thé. Bang 2.48 liệt kê các
ngoại lệ được hỗ trg trong Java Card
lộ được hỗ trợ trong Java Card