美國計(jì)算機(jī)專業(yè)簡(jiǎn)析之隱私安全與編程

?美國計(jì)算機(jī)專業(yè)簡(jiǎn)析之隱私安全與編程
?
一、計(jì)算機(jī)隱私與安全（Privacy and Security）
??? 簡(jiǎn)言之，計(jì)算機(jī)安全主要是保護(hù)計(jì)算機(jī)與網(wǎng)絡(luò)免于濫用和干擾。以往計(jì)算機(jī)攻擊一般來說，包含了攻擊系統(tǒng)的完整性，保密性與可用性。而如今的信息安全技術(shù)一直在發(fā)展中，除對(duì)上述攻擊的防御，同時(shí)也增加了更多的應(yīng)用，如垃圾郵件，以及防止身份盜用而導(dǎo)致的信息泄露等。
??? 主要研究理論與應(yīng)用密碼學(xué)，形式方法，軟件安全，基于語言的安全，入侵探測(cè)，網(wǎng)絡(luò)安全，安全網(wǎng)絡(luò)服務(wù)，安全與移動(dòng)計(jì)算，移動(dòng)密碼，隱私政策，驗(yàn)證系統(tǒng)，安全與用戶界面等。
??? 基于網(wǎng)絡(luò)的龐大和復(fù)雜性，計(jì)算機(jī)與信息隱私和安全已經(jīng)是人人關(guān)注的問題。而最需要信息安全人才的典型行業(yè)包括政府，銀行和證券，各種商業(yè)機(jī)構(gòu)也都有迫切的人才需求。從從業(yè)范圍來看，計(jì)算機(jī)隱私與安全已經(jīng)從網(wǎng)絡(luò)安全一枝獨(dú)秀逐漸加入應(yīng)用安全、數(shù)據(jù)安全和系統(tǒng)安全的全面支撐。產(chǎn)品類型更加多樣，網(wǎng)絡(luò)邊界、內(nèi)網(wǎng)、服務(wù)器、PC終端、移動(dòng)介質(zhì)、操作系統(tǒng)、數(shù)據(jù)庫、應(yīng)用軟件等軟硬件系統(tǒng)防護(hù)體系全面推進(jìn)，依靠防火墻、IDS和防病毒軟件無法保障整體安全，使得UTM、IPS、VPN、終端安全管理、安全審計(jì)等新興安全產(chǎn)品及安全服務(wù)有了更大的施展空間。
因此畢業(yè)生的就業(yè)前景是非常樂觀的。然而，由于信息安全的敏感度，此研究方向在美國的招生更加偏向于有綠卡的本土人士，極少有發(fā)現(xiàn)計(jì)算機(jī)信息隱私與安全在讀博士研究生。
?
二、編程語言（Programming Language）
??? 包括開發(fā)新型編程語言以助程序員實(shí)用高效地開發(fā)可靠的軟件，計(jì)算機(jī)輔助語言學(xué)習(xí)，計(jì)算語言學(xué)，從初階的打字理論，自動(dòng)定理證明，語義學(xué)等發(fā)展到如今的基于語言的途徑以解決計(jì)算機(jī)安全與分布式編程中的重大問題，語言應(yīng)用，編程分析與優(yōu)化等，可以從根本上提高軟件可靠性與安全性。
??? 現(xiàn)代編程語言研究，包括設(shè)計(jì)，句法學(xué)，編程語言分析，實(shí)施，編程環(huán)境工具與應(yīng)用，如編程時(shí)間與運(yùn)行時(shí)間技術(shù)的研究以提高記憶系統(tǒng)性能，新型編程語言開發(fā)，靜態(tài)分析法查找java編程中的錯(cuò)誤，開發(fā)語言工具和技術(shù)以規(guī)避軟件缺陷，拓展現(xiàn)存語言的方法搭建，設(shè)計(jì)虛擬機(jī)器以及編程技術(shù)以支持延展性等。
??? 編程語言是CS的基礎(chǔ)老牌學(xué)科，其發(fā)展相對(duì)緩慢，研究上的努力大多數(shù)都體現(xiàn)在框架和工具等方面，由于從頭開始寫編程語言代價(jià)太大，目前很多新出現(xiàn)語言都是基于現(xiàn)有框架建立起來的，目前影響力較大的趨勢(shì)主要有三種，聲明式編程風(fēng)格（DSL與函數(shù)式編程），動(dòng)態(tài)語言的研究以及并發(fā)編程。申請(qǐng)熱門程度屬中等，市場(chǎng)需求大，主要從事軟件開發(fā)與應(yīng)用等工作。