前言：想要寫出一篇令人眼前一亮的文章嗎？我們特意為您整理了5篇徐渭詩(shī)詞范文，相信會(huì)為您的寫作帶來(lái)幫助，發(fā)現(xiàn)更多的寫作思路和靈感。

徐渭詩(shī)詞范文第1篇

文麗和唐東在大學(xué)時(shí)就確定了戀愛(ài)關(guān)系。畢業(yè)后，唐東主動(dòng)放棄了廣州優(yōu)越的生活環(huán)境，隨文麗來(lái)到了她的家鄉(xiāng)成都，并進(jìn)入了同一家市級(jí)醫(yī)院工作。唐東身材高大，性格沉穩(wěn)而不乏魄力，文麗則嬌小玲瓏．性格活潑外句，人們都說(shuō)他們是天生的一對(duì)?；楹?，他們一直沒(méi)有要孩子，兩人彼此尊重，互相體貼。

光陰荏苒，一晃8今年頭過(guò)去了，兩人都已成為受人尊敬的主治醫(yī)師，而8年的生活歷練也早已磨去了他們對(duì)婚姻的激情。對(duì)婚姻生活備感疲憊的唐東決定要在事業(yè)上好好地干出一番名堂來(lái)。1994年3月，他和文麗商量后，辭去醫(yī)院的工作，開辦了一家廣告公司。從此，唐東把大部分的時(shí)間都花在了公司上。

隨著公司的發(fā)展，唐東在外的應(yīng)酬也漸漸地多了起來(lái)，夫妻之間開始有了一些小摩擦。文麗開始變得有些神經(jīng)質(zhì)起來(lái)。唐東每次回來(lái)．文麗做的第一件事就是翻看他的口袋。剛開始的時(shí)候唐東并沒(méi)有往心里去，他把妻子的行為理解成對(duì)他的愛(ài)與關(guān)心。但是，文麗卻并沒(méi)有理解他，她反而認(rèn)為這是丈夫心里有鬼，因而更加變本加厲。有時(shí)，唐東正在開會(huì)．她也會(huì)不由分說(shuō)地闖進(jìn)辦公室進(jìn)行突擊檢查．讓唐東在下屬面前很沒(méi)面子。有一次，唐東為了一筆業(yè)務(wù)，在一家酒店設(shè)宴款待對(duì)方。飯后，在對(duì)方女老板的盛情邀請(qǐng)下，唐東陪她跳了一曲舞。當(dāng)天晚上回到家，文麗在檢查他的衣服時(shí)聞到了女人用的香水味，無(wú)論唐東怎樣解釋都無(wú)濟(jì)于事，他們發(fā)生了有史以來(lái)的第一次爭(zhēng)吵。文麗的無(wú)端猜測(cè)和不可理喻，讓唐東漸感心力交瘁。

1995年4月28日，唐東借口要到學(xué)校去參加考試，想一個(gè)人出去散散心。由于他正在學(xué)習(xí)企業(yè)管理，文麗這一次沒(méi)有多問(wèn)。唐東走后，文麗發(fā)現(xiàn)他忘帶證件了，便給他打手機(jī)，卻怎么也打不通。她立即與學(xué)校聯(lián)系，令她無(wú)比震驚的是，學(xué)校的負(fù)責(zé)人告訴她根本沒(méi)什么考試，文麗暴跳如雷，她立刻沖下樓去叫了一輛出租車，飛快地向丈夫追去，她跟著唐東的車來(lái)到一家咖啡廳門口。急得如同熱鍋上的螞蟻的文麗走進(jìn)了咖啡廳，看見唐東正一邊悠閑地喝著咖啡，一邊與同桌的一個(gè)30多歲的女人聊著天。文麗的血頓時(shí)轟的一下涌上了頭頂。她)中到桌前，不容唐東解釋，在眾目睽睽之下，狠狠地給了他一記響 亮的耳光。

這一巴掌，徹底地打碎了他們夫妻倆辛辛苦苦經(jīng)營(yíng)了十多年的感情。當(dāng)天晚上，他們?cè)僖淮伟l(fā)生了猛烈的爭(zhēng)吵。文麗不但沒(méi)有認(rèn)識(shí)到自己的錯(cuò)誤，反而大罵唐東道德敗壞，甚至抓起一只茶杯向唐東狠狠地砸去……唐東再也無(wú)法忍受這種終日充滿硝煙的日子．一氣之下搬出了這個(gè)家。他們分居了。

不久，一個(gè)溫柔美麗而又善解人意的女孩闖進(jìn)了唐東的生活。那是 1995年的7月26日。那天下班后，天空突然下起了瓢潑大雨。唐東獨(dú)自一人坐在辦公室里一支接一支地抽煙，望著窗外下個(gè)不停的大雨，他感到異常的郁悶，一想起那個(gè)自己曾經(jīng)付出過(guò)全部真情而現(xiàn)在卻變得冷冰冰的家，兩行淚水不禁潸然而下……“唐總，怎么還不回去，”一個(gè)甜美的聲音打斷了他的思緒。唐東抬頭一看，原來(lái)是公司的文員肖蕓。肖蕓雖然是唐東手下的一個(gè)員工，但兩人平時(shí)真正接觸的時(shí)間并不多?？粗荒樥\(chéng)懇的肖蕓，唐東心里竟然有幾分莫名的激動(dòng)，他不知不覺(jué)地有了一種強(qiáng)烈的傾訴欲望。

那天，兩人像是相知多年的老朋友，談得十分盡興。肖蕓那雙大大的眼睛里流露出的聰慧和淡淡的憂郁，讓唐東心動(dòng)不已。從此，唐東把肖蕓當(dāng)做了自己的紅顏知己，對(duì)她關(guān)懷備至。

1995年的國(guó)慶節(jié)，為了報(bào)答唐東的幫助，肖蕓特地為他準(zhǔn)備了一桌豐盛的晚餐。在柔和的燈光下，看著肖蕓柔美的笑臉，唐東有了回到家里的感覺(jué)。唐東漸漸地有些把持不住，那一直埋葬在他內(nèi)心深處的最后一道防線頓時(shí)土崩瓦解，兩顆孤獨(dú)的心緊緊地相擁在一起……

第二天早上醒來(lái)，看著躺在自己懷里的嬌柔的肖蕓．唐東半天沒(méi)動(dòng)，他開始思考和文麗的婚姻到底還要不要持續(xù)下去。溫柔一“刀”，女醫(yī)師打造“愛(ài)情童話”

1995年10月18日，唐東帶著離婚協(xié)議書來(lái)到了文麗的住處。文麗頓時(shí)暴跳如雷，她咽不下這口氣，同時(shí)也對(duì)自己的做法有些后悔了。她不相信、也不能接受丈夫要和她離婚的事實(shí)，因?yàn)樵趦?nèi)心深處，她依然是愛(ài)著唐東的。但唐東早已對(duì)她死了心，總是對(duì)她避而不答。在痛苦和堅(jiān)持中度過(guò)了一個(gè)個(gè)漫漫長(zhǎng)夜，文麗的心也一次又一次地被撕得粉碎。

1996年元旦，唐東與肖蕓的愛(ài)情終于水到渠成，他們結(jié)婚了。就在他們結(jié)婚的當(dāng)天，文麗把自己關(guān)在房間里，獨(dú)自一人喝得酩酊大醉。她恨唐東，更恨肖蕓，她發(fā)誓一定要報(bào)復(fù)她，從她手里奪回唐東……

機(jī)會(huì)終于來(lái)了。1996年4月21日，肖蕓因患了子宮瘤，來(lái)到文麗所在的醫(yī)院做手術(shù)。文麗知道后，主動(dòng)找到醫(yī)院的領(lǐng)導(dǎo)．說(shuō)肖蕓是她的好朋友，她希望能夠親自做這個(gè)手術(shù)。她還強(qiáng)裝笑臉地來(lái)到肖蕓的病房，不斷地安慰她，為她做這做那。這一切，讓肖蕓很過(guò)意不去，畢竟，她曾經(jīng)深深地傷害過(guò)這個(gè)女人，肖蕓在心底對(duì)她產(chǎn)生了一絲歉意。但文麗卻略帶傷感地對(duì)肖蕓說(shuō)，她已經(jīng)想清楚了，婚姻是兩個(gè)人的事情，強(qiáng)求不得，不是你的東西，即使得到了也不會(huì)幸福。聽著文麗的這番話，肖蕓感動(dòng)不已．對(duì)她徹底失去了戒心。

4月24日，肖蕓被推進(jìn)了手術(shù)室?？粗稍谑中g(shù)臺(tái)上被麻醉的肖蕓，文麗感到了一種前所未有的快慰，她等待這個(gè)機(jī)會(huì)已經(jīng)快一年了，只要自己的手術(shù)刀稍微一偏，就會(huì)給肖蕓帶來(lái)毀滅性的災(zāi)難。而另一方面，醫(yī)生的職業(yè)道德又不斷地提醒她，千萬(wàn)不能這么做，她變得有些猶豫起來(lái)。但很快，復(fù)仇的欲望就將她那一點(diǎn)點(diǎn)僅存的理智湮沒(méi)了……

兩個(gè)月后，肖蕓痊愈出院了。

日子如流水一般流淌著。時(shí)光列車很快就駛?cè)肓?998年。在這幾年里，唐東把大部分的時(shí)間都用在了工作上，并取得了很大的成功。他開始考慮要一個(gè)孩子了，他希望用孩子來(lái)點(diǎn)綴他和肖蕓之間漸趨平淡的婚姻。聽了唐東的想法．肖蕓興奮不已。自從和唐東結(jié)婚以后，她就一直希望能為他生一個(gè)孩子，只是唐東一直忙于事業(yè)，所以一拖再拖，現(xiàn)在唐東事業(yè)有成，她終于可以嘗嘗做母親的滋味了。她開始積極地準(zhǔn)備著，買了很多嬰兒玩具和衣服，參加各種有關(guān)嬰兒方面的講座……可是，一年過(guò)去了，肖蕓卻沒(méi)有一點(diǎn)懷孕的跡象。1999年3月，他們雙雙來(lái)到醫(yī)院作檢查。檢查的結(jié)果是 她沒(méi)有生育能力，在殘酷的現(xiàn)實(shí)面前，肖蕓一下子就癱倒在地。這意味著她永遠(yuǎn)失去了做母親的權(quán)利。對(duì)于一個(gè)女人來(lái)說(shuō)，這無(wú)疑是對(duì)她宣判了死刑：

在妻子不能生育的事實(shí)面前，唐東雖然也備感失落，但他還是用一個(gè)男人特有的寬容和大度盡力地去安慰肖蕓，并對(duì)她說(shuō) ”沒(méi)有孩子，我們一樣可以生活得很好，再說(shuō)，如果你喜歡小孩，我們也可以抱養(yǎng)別人的孩子?！碧茤|的安慰．讓肖蕓的心情變得更加沉重起來(lái)．因?yàn)樗芮宄?，其?shí)唐東比自己還要痛苦。

1999年8月16日，肖蕓主動(dòng)提出離婚，她希望唐東能重新找一位可以為他生孩子的女人結(jié)婚。但不管她怎么哀求，唐東堅(jiān)決不同意。接下來(lái)的一段時(shí)間里，肖蕓常常有事沒(méi)事地發(fā)脾氣，她想通過(guò)這種方式讓唐東放棄他們的婚姻。但是唐東知道她的心情不 好，不但沒(méi)有半點(diǎn)怨言，反而還處處順著她。肖蕓變得更加心煩意亂。1999年 9月28下午，她趁唐東外出辦事的機(jī)會(huì)，服下了大把的安定片，帶著對(duì)唐東的愧疚與愛(ài)永遠(yuǎn)地離開了他……

唐東輕撫著肖蕓的遺像，淚水滾落而下。這是他第二次為一個(gè)女人流淚。他的心情灰暗到了極點(diǎn)，從此一蹶不振，公司的業(yè)務(wù)也每況愈下。這時(shí)，文麗不失時(shí)機(jī)地出現(xiàn)了。她天天陪伴著他，不斷地安慰和開導(dǎo)他，鼓勵(lì)他重新振作起來(lái)。她還拿出自己所有的積蓄，并向親戚朋友借了不少錢，幫助唐東的公司渡過(guò)難關(guān)。隨著時(shí)間的推移，唐東的心情漸漸好起來(lái)了，他的公司也有了很大的起色，他對(duì)文麗的看法也發(fā)生了改變，至少在他的眼里，文麗不再像以前那樣霸道了。

2000年1月8日是文麗的生日，她給唐東打電話，希望唐東能和她一起慶祝，更希望他們能好好地聚一聚。唐東答應(yīng)了。

吃完飯，文麗邀請(qǐng)?zhí)茤|到她的住處去坐一坐。文麗一改往日的兇蠻，她對(duì)他說(shuō) “回來(lái)吧，這個(gè)家需要你，我也需要你。想想以前，我們是多么讓人羨慕的一對(duì)啊，”唐東有些動(dòng)容了。文麗便繼續(xù)娓娓道來(lái)，從他們相識(shí)、相知、相戀，回憶到新婚的日子，她還不失時(shí)機(jī)地向他傾訴著自己內(nèi)心的感受“如果我以前有什么做得不好的地方，你提出來(lái)，我會(huì)改的。知道嗎，多少個(gè)夜晚，我都是昏昏睡去，卻又猛然醒來(lái)，最后還是一個(gè)痛苦的不眠之夜……”唐東再一次流下了感動(dòng)的淚水，生命中能有兩個(gè)女人如此地愛(ài)著自己，唐東覺(jué)得自己真是太幸福了。他將文麗輕輕地?fù)砣肓藨阎小?/p>

文麗終于實(shí)現(xiàn)了她當(dāng)初的誓言。 2000年2月14日，也就是情人節(jié)那天，他們復(fù)婚了。曲終人散，她最終被遺棄在愛(ài)的角落

復(fù)婚后，唐東盡可能地減少了一些外面的應(yīng)酬。2000年4月份，文麗懷孕了，唐東對(duì)她的照顧更是無(wú)微不至。唐東還特地將他的母親從廣州接到成都，悉心照顧文麗的生活。文麗感動(dòng)不已，她覺(jué)得在這個(gè)世界上，也許再也找不出第二個(gè)像她這么幸福的女人了，她更希望這種生活能夠永遠(yuǎn)地持續(xù)下去。

7月的一個(gè)星期天，文麗提出讓唐東陪她到書店去逛逛，她想買一些有關(guān)嬰兒方面的書籍。唐東一聽，立刻找出肖蕓以前買的這方面的書，并對(duì)她說(shuō)，這些書都是肖蕓買的，你看看有沒(méi)有用得著的。一提起肖蕓，文麗就感到不安。每當(dāng)她打開那些書時(shí)，她就仿佛感覺(jué)到肖蕓那雙怨恨的眼睛正盯著自己。

2000年12月26日，文麗順利地產(chǎn)下了一個(gè)男嬰。孩子的出生，并沒(méi)有給她帶來(lái)初為人母的快樂(lè)和幸福，相反，帶給她的卻是無(wú)窮無(wú)盡的痛苦。每當(dāng)看著孩子，她就想起了肖蕓，那個(gè)被自己殘忍地剝奪了做母親的權(quán)利的肖蕓。她變得越來(lái)越郁悶，感覺(jué)就要崩潰了，但她不敢對(duì)任何人說(shuō)，尤其是唐東。她開始寫日記．1巴自己在為肖蕓做手術(shù)時(shí)如何報(bào)復(fù)她的詳細(xì)情形，以及現(xiàn)在對(duì)肖蕓的歉疚，都一一地記錄了下來(lái)，她希望通過(guò)這種方式能讓自己那沉重的心情得到一點(diǎn)短暫的釋放。

2002年3月，孩子已經(jīng)一歲多了，唐東的母親將他帶到了老家廣州。文麗也開始上班了。但她似乎心有余而力不足，有好幾次在做手術(shù)時(shí)，她都差點(diǎn)釀成大禍。醫(yī)院領(lǐng)導(dǎo)曾多次找她談話，她的精神狀況不但沒(méi)有好轉(zhuǎn)，反而變得越來(lái)越糟。2002年五一剛過(guò)，醫(yī)院領(lǐng)導(dǎo)不得不將她調(diào)離了婦科。

唐東對(duì)文麗的這些變化并沒(méi)有放在心上，他覺(jué)得這些可能都是因?yàn)槲柠悇倓偵诵『⒌木壒剩€經(jīng)常安慰文麗說(shuō)有得必有失。

2002年的8月19日的下午，因?yàn)楣緵](méi)有什么事，唐東很早就回了家?？粗鑱y的書架，唐東覺(jué)得應(yīng)該整理一下了。正當(dāng)他把所有的書拿出來(lái)準(zhǔn)備重新擺放時(shí)，一本帶鎖的日記本突然掉到了地上。唐東很是奇怪，平時(shí)沒(méi)有見過(guò)文麗寫日記啊。帶著好奇，他撬開了那本帶鎖的日記。當(dāng)他帶著復(fù)雜的心情讀完那本日記時(shí)，唐東憤慨不已。

當(dāng)天下午六點(diǎn)多，文麗下班回來(lái)，卻不見唐東的身影，她以為唐東在公司加班，便急忙做好了飯，可是直到晚上八點(diǎn)多鐘，唐東仍然沒(méi)有回來(lái)。于是她來(lái)到書房，想趁著唐東不在，繼續(xù)寫她的日記。她剛剛走進(jìn)書房，一種不祥的預(yù)感頓時(shí)襲上心頭。只見書桌上擺著她那本已經(jīng)被打開的日記，旁邊還有一封短信。是唐東留給她的，信上寫道

文麗，我很佩服你的聰明與心機(jī)，看了你的日記．我終于知道了肖蕓不能懷孕的真正原因，你就是“殺死”肖蕓的真正兇手，我柬敢想像和你這種蛇蝎心腸的女人再繼續(xù)生活下去的后栗．雖然在我最困難的時(shí)候，你曾經(jīng)幫助過(guò)我，但現(xiàn)在你帶恰我的卻是更大的痛苦。這套房子歸你。我唐東以前不管做錯(cuò)過(guò)付么，現(xiàn)在都已經(jīng)還清了，一切的思恩怨怨都鑲結(jié)束了……

徐渭詩(shī)詞范文第2篇

“學(xué)習(xí)雷鋒，好榜樣……”每當(dāng)聽到這首歌時(shí)，我總能想到雷鋒的愛(ài)心。我們只要一起獻(xiàn)出自己的愛(ài)心，我們的愛(ài)會(huì)匯成一股巨大的正能量，推倒困難，讓社會(huì)充滿愛(ài)和溫暖。

在現(xiàn)社會(huì)有許多見風(fēng)使舵的小人，滿嘴道德仁義卻一肚子壞水的虛妄者，我們不能做這種人，別人遇到困難時(shí)，我們?nèi)椭词鼓愕牧α磕敲次⒉┮惨瞰I(xiàn)出你的力量。只要我們盡力了就不會(huì)有遺憾，這就是“蝴蝶效應(yīng)”。是我們崇向的效應(yīng)，只要我們堅(jiān)持下去就一定能帶給別人幸福，帶給社會(huì)溫暖，還會(huì)給自己帶來(lái)快樂(lè)和光榮。

還記得中央電視臺(tái)采訪群眾時(shí)候問(wèn)到“你幸福嗎?”這句話時(shí)，我會(huì)相信在黔西北山區(qū)的孩子們一定會(huì)眨著渴望自己家鄉(xiāng)能夠有充足的水源。只要我們珍惜每一滴浪費(fèi)的水，那就應(yīng)該能給他們家鄉(xiāng)省下一個(gè)湖泊，其實(shí)你珍惜每一滴浪費(fèi)的水，就等于傳遞了一份大愛(ài)心。

有許多市民是有愛(ài)心的，可有些卻沒(méi)有，如有一天，一位老爺爺騎單車時(shí)，突然在馬路中從單車上摔了下來(lái)，許多開車的市民和行人都來(lái)幫助這位老爺爺，可有些卻在一邊旁觀，還有的說(shuō)這位老爺爺活該?？煽闯鲞@些市民的素質(zhì)非常非常的差。心是獻(xiàn)成了，可獻(xiàn)的卻是壞心。

“集腋成裘，聚沙成塔”“不積跬步，無(wú)以至千里，不積小流，無(wú)以成江海”只要我們?nèi)巳双I(xiàn)出一份愛(ài)，那社會(huì)會(huì)充滿溫暖，家庭會(huì)充滿幸福，讓我們成為最美紹興人吧!

徐渭詩(shī)詞范文第3篇

1.1 文件系統(tǒng)描述

我們選擇FAT12文件系統(tǒng)為例，因?yàn)樗哂泻芏嗪?jiǎn)單特性：只有一片磁碟、高級(jí)和低級(jí)格式化使用同一個(gè)命令、不需要分區(qū)等等，而且大部分操作系統(tǒng)都支持它。另外，F(xiàn)AT文件系統(tǒng)非常簡(jiǎn)單、容易理解，它的技術(shù)手冊(cè)也很容易獲取。盡管也有眾所周知的弱點(diǎn)，但它現(xiàn)在仍然有著較為廣泛的應(yīng)用。

為了管理磁盤上的數(shù)據(jù)，F(xiàn)AT12文件系統(tǒng)使用三種不同的數(shù)據(jù)結(jié)構(gòu)：文件分配表、目錄區(qū)和數(shù)據(jù)區(qū)[2]。

1.2 磁盤反取證攻擊與不變量

我們這里所說(shuō)的不變量源于這樣一個(gè)事實(shí)，即磁盤或文件系統(tǒng)中的信息可能有冗余，或者可能分散在不同的層[3]。使用不變量可以將我們對(duì)因反取證攻擊而缺失了的信息的需求轉(zhuǎn)化為一個(gè)形式證明的正確性規(guī)則，并能以表達(dá)式的形式將其形式化規(guī)約為一個(gè)狀態(tài)謂詞。系統(tǒng)安全的形式驗(yàn)證也因此可歸結(jié)為對(duì)具有這些不變量的系統(tǒng)可達(dá)狀態(tài)的檢查。

2 文件系統(tǒng)的形式化描述

為了對(duì)文件系統(tǒng)進(jìn)行面向取證調(diào)查的形式化描述，我們采取如下六個(gè)步驟：

1）從文件系統(tǒng)中抽象細(xì)節(jié)。文件系統(tǒng)包含很多分項(xiàng)和細(xì)節(jié)使得它的描述難以理解且難以驗(yàn)證或證明。因此我們從文件系統(tǒng)中抽取出形式化規(guī)約所必須的一些細(xì)節(jié)。

2）建立文件系統(tǒng)基本庫(kù)。在文件系統(tǒng)規(guī)約中，要描述它們的布局和數(shù)據(jù)組織安排，還是有些復(fù)雜的。因此，在面向磁盤反取證攻擊的規(guī)約語(yǔ)言中應(yīng)該具備一個(gè)專門的文件系統(tǒng)基本庫(kù)。為此我們定義一個(gè)包含文件系統(tǒng)布局架構(gòu)中的基本元素的文件系統(tǒng)庫(kù)。例如，對(duì)FFS文件系統(tǒng)，這些基本元素包括：扇區(qū)、碎片、塊、超級(jí)塊、分組以及索引結(jié)點(diǎn)[4]等。

3）創(chuàng)建文件系統(tǒng)的可信形式化模型。我們考慮兩類描述文件系統(tǒng)所用的行為集：第一類是合法的、由操作系統(tǒng)提供的平常功能行為；第二類是技術(shù)含量較高的或惡意使用文件系統(tǒng)的行為。

規(guī)約當(dāng)然可以直接利用它們來(lái)描述系統(tǒng)的運(yùn)轉(zhuǎn)以及它們對(duì)文件系統(tǒng)元素帶來(lái)的影響。

4）不變量的形式化描述。一個(gè)深入了解文件系統(tǒng)的調(diào)查者能夠提取出一系列對(duì)發(fā)現(xiàn)反取證攻擊有用的正確性性質(zhì)（不變量），并以此分析出與安全事件相關(guān)的信息，避免在數(shù)據(jù)收集期間遺漏有用的證據(jù)。這一方法可以應(yīng)用于任何文件系統(tǒng)，更為重要的是它能丟棄大量的無(wú)用數(shù)據(jù)而快速識(shí)別出攻擊。

5）假設(shè)恢復(fù)行為。一般來(lái)講，要讓系統(tǒng)從一個(gè)狀態(tài)遷移到另一個(gè)狀態(tài)而又缺少一些具體信息的細(xì)節(jié)時(shí)，假設(shè)似乎是一種必然選擇。在磁盤反取證攻擊的情況下，要想從被侵害的狀態(tài)中恢復(fù)，我們可以用假設(shè)來(lái)填補(bǔ)一些信息細(xì)節(jié)的缺失，比如攻擊是如何進(jìn)行的，或者在被更改前數(shù)據(jù)是如何組織的等等。

6）整合系統(tǒng)。在最后一步中，形式化規(guī)約應(yīng)該允許已定義行為集中行為的任何連續(xù)序列都能在可信模型中得到定義，并且它們所表示的都是對(duì)文件系統(tǒng)的合法使用。

3 用TLHA+規(guī)約文件系統(tǒng)

本節(jié)，我們以FAT12文件系統(tǒng)為例，用TLHA+[1]創(chuàng)建文件系統(tǒng)基本庫(kù)、給出文件系統(tǒng)的形式化規(guī)約，并用隨后描述的一組安全性和活性不變量對(duì)磁盤反取證攻擊進(jìn)行偵測(cè)。

3.1 文件系統(tǒng)基本庫(kù)

我們用FatLib模塊來(lái)規(guī)約FAT12文件系統(tǒng)基本庫(kù)，主要由三部分組成，下面我們給出每一部分中的最重要的元素和操作。

1）文件分配表。我們描述的文件分配表恰好有（n+2）個(gè)值，前面的n個(gè)值表示相應(yīng)磁盤簇的數(shù)值，后面的兩個(gè)代表簇鏈的結(jié)束標(biāo)記和壞簇標(biāo)記。我們用一個(gè)從可用簇號(hào)（包括結(jié)束標(biāo)記eof（fat）和壞簇標(biāo)記bad（fat））到自身的函數(shù)來(lái)表示文件分配表。

2）目錄區(qū)。我們不妨假設(shè)所有文件都存儲(chǔ)在根目錄下，所以沒(méi)有文件夾。我們用三個(gè)分項(xiàng)來(lái)表示任一個(gè)目錄條目，即文件標(biāo)識(shí)符、開始簇號(hào)、使用簇的數(shù)量。然后，我們定義一個(gè)從目錄條目集到三值元組（文件標(biāo)識(shí)符、開始簇號(hào)、使用簇的數(shù)量）集的函數(shù)來(lái)表示目錄區(qū)。

3）數(shù)據(jù)區(qū)。我們同樣把數(shù)據(jù)區(qū)定義為一個(gè)函數(shù)，它把每一個(gè)簇的簇號(hào)映射到它所存儲(chǔ)的內(nèi)容，這些內(nèi)容可以是Data型和nodata型。前者是一個(gè)TLHA+常量，而后這是我們定義的一個(gè)假想值，用來(lái)表示空簇的內(nèi)容。

3.2 文件系統(tǒng)使用建模

本節(jié)我們?yōu)槲募到y(tǒng)的使用過(guò)程建立可信的形式化模型，并將其用于FAT12文件系統(tǒng)的TLHA+規(guī)約。此模塊是對(duì)模塊FatLib的擴(kuò)展，我們把它命名為AttDet。該模塊使用三個(gè)常量：SecNbr、Data和DirNbr，分別表示可用簇的數(shù)量、系統(tǒng)可能生成的數(shù)據(jù)內(nèi)容和目錄區(qū)支持的最大目錄條數(shù)。除常量外，規(guī)約中還定義三個(gè)變量：文件分配表fattb、目錄區(qū)dir和數(shù)據(jù)區(qū)dataarea。

系統(tǒng)的初始狀態(tài)由謂詞Init描述，其中定義的磁盤是已經(jīng)格式化的，所有文件分配表的條目都設(shè)置為0，對(duì)目錄區(qū)也做同樣設(shè)置。至于數(shù)據(jù)區(qū)，每一個(gè)簇都沒(méi)有數(shù)據(jù)。實(shí)際上，這就是一個(gè)剛完全格式化后的磁盤狀態(tài)。

系統(tǒng)的行為包括寫文件行為WriteFile（fid）、刪除文件的行為DeleteFile（fid）、磁盤快速格式化行為QuickFormat、表示由入侵者或技術(shù)高超的用戶進(jìn)行的行為序列ModifyDisk，最后我們定義一個(gè)關(guān)系，叫做下一狀態(tài)關(guān)系——Next，來(lái)表示上面定義的所有行為的析取。它蘊(yùn)含了系統(tǒng)所有可容許的狀態(tài)，也就是對(duì)文件系統(tǒng)的合法使用。

4 反取證攻擊的模型檢測(cè)

為了自動(dòng)驗(yàn)證所描述系統(tǒng)的正確性性質(zhì)，我們使用檢測(cè)工具TLHC[1]。盡管它有著眾所周知的局限性，如空間爆炸問(wèn)題，但模型檢測(cè)技術(shù)卻是偵查磁盤反取證攻擊的有效方法。首先，這一技術(shù)在識(shí)別不變量的違反上比其他技術(shù)如定理證明等快得多。其次，它可以就違反不變量的情況給出反例，也因此可以辨別出潛在的攻擊場(chǎng)景。

4.1反取證攻擊場(chǎng)景的生成

我們?cè)谀KAttDet中描述了集Data的一批符號(hào)常量和為兩個(gè)參數(shù)SecNbr和DirNbr賦值，即定義一個(gè)具體實(shí)例之后，就可以利用TLHC來(lái)檢查上節(jié)中討論的正確性性質(zhì)。其結(jié)果生成了大量的磁盤反取證攻擊場(chǎng)景。

4.2 不變量與可能攻擊場(chǎng)景

現(xiàn)在，假設(shè)一個(gè)調(diào)查者使用我們提出的形式化方法，從最初獲得的有效證據(jù)出發(fā)，對(duì)基于FAT的文件系統(tǒng)的反取證攻擊進(jìn)行調(diào)查取證。使用我們?cè)谀KFATLib中定義的文件系統(tǒng)基本庫(kù)，并因此亦可使用同樣的不變量。事實(shí)上，后者僅依賴于文件系統(tǒng)模型本身。另外，由于模型檢測(cè)工具的輸出結(jié)果是一些導(dǎo)致不變量被違反的并不完整 的文件系統(tǒng)使用軌跡，這就要求調(diào)查者根據(jù)自己的知識(shí)和經(jīng)驗(yàn)來(lái)推斷攻擊是如何進(jìn)行的。

4.3 基于假設(shè)的數(shù)據(jù)恢復(fù)

有些磁盤反取證攻擊的數(shù)據(jù)是比較容易恢復(fù)的，例如，某個(gè)攻擊對(duì)給定文件對(duì)應(yīng)的簇鏈進(jìn)行了不大的修改，只要修復(fù)這一改動(dòng)，文件就可被恢復(fù)正常。不幸的是，盡管某些可用的數(shù)據(jù)收集工具可以從一些一般的攻擊案例中恢復(fù)部分?jǐn)?shù)據(jù)，但這一工作通常都受到反取證攻擊的制約。

為了克服以上的缺點(diǎn)，我們提供一種智能的、使用TLHA+的方法，從4.1中所描述的攻擊場(chǎng)景中恢復(fù)數(shù)據(jù)。在缺少判斷攻擊如何進(jìn)行或數(shù)據(jù)是如何組織的信息時(shí)，我們將以假設(shè)予以填補(bǔ)。

我們的方法包括描述一組獨(dú)立的行為，每一個(gè)行為都是在某一個(gè)或一些假設(shè)條件下，對(duì)文件系統(tǒng)的修改，以及可觀察到的反常——對(duì)不變量的違反。

5 小結(jié)

本研究利用假設(shè)行為時(shí)序邏輯語(yǔ)言TLHA+及其模型檢測(cè)工具TLHC，設(shè)計(jì)具體證明方法和途徑，其目標(biāo)是形式化和自動(dòng)化磁盤入侵取證調(diào)查以及從遭受攻擊的系統(tǒng)中恢復(fù)數(shù)據(jù)。這一方法支持對(duì)大量已知和未知的基于磁盤技術(shù)的反取證攻擊的偵查。另外，它能夠通過(guò)對(duì)有效磁盤證據(jù)的非確定性推理發(fā)現(xiàn)攻擊，恢復(fù)數(shù)據(jù)，以規(guī)避進(jìn)一步的攻擊。

參考文獻(xiàn)：

[1] 李均濤，唐鄭熠，李祥.基于行為時(shí)序邏輯的入侵取證研究[J].計(jì)算機(jī)應(yīng)用研究，2011，28（7）： 2742-2745.

[2] Tony Sammes and Brian Jenkinson. Forensic Computing： A Practitioner’s Guide. Springer-Verlag UK， 2000.

徐渭詩(shī)詞范文第4篇

論文提要：始于2007年的美國(guó)次貸危機(jī)已經(jīng)演化成為全球性的金融危機(jī)，探討次貸危機(jī)及金融危機(jī)產(chǎn)生的根源具有重要的現(xiàn)實(shí)意義。本文從虛擬經(jīng)濟(jì)與實(shí)體經(jīng)濟(jì)的關(guān)系出發(fā)，揭示次貸危機(jī)的本質(zhì)，并根據(jù)我國(guó)當(dāng)前虛擬經(jīng)濟(jì)發(fā)展現(xiàn)狀，給出穩(wěn)定發(fā)展經(jīng)濟(jì)的建議。

一、次貸危機(jī)的本質(zhì)是過(guò)度虛擬化

次貸危機(jī)又稱次級(jí)房貸危機(jī)，也譯為次債危機(jī)。它是指一場(chǎng)發(fā)生在美國(guó)，因次級(jí)抵押貸款機(jī)構(gòu)破產(chǎn)、投資基金被迫關(guān)閉、股市劇烈震蕩引起的金融風(fēng)暴。始于2007年的美國(guó)次貸危機(jī)已經(jīng)演化成全球性的金融危機(jī)，它不僅重創(chuàng)了各國(guó)金融業(yè)，還不斷向?qū)嶓w經(jīng)濟(jì)蔓延。在此背景下，及時(shí)梳理次貸危機(jī)可能的形成原因已具有重要的現(xiàn)實(shí)意義和理論意義。

1、監(jiān)管不力論。金融創(chuàng)新工具的不斷涌現(xiàn)，銀行、證券、保險(xiǎn)、信托等行業(yè)的界限越來(lái)越模糊，使已有的分業(yè)監(jiān)管模式失去了效力，這必然增加了整個(gè)金融業(yè)的系統(tǒng)性風(fēng)險(xiǎn)，因而政府的不力監(jiān)管就成了危機(jī)爆發(fā)的主導(dǎo)因素。

2、委托鏈過(guò)長(zhǎng)論。金融創(chuàng)新并不能有效解決資本市場(chǎng)的道德風(fēng)險(xiǎn)問(wèn)題，隨著抵押債券層層證券化必然使委托鏈條越來(lái)越長(zhǎng)，這在一定程度上使道德風(fēng)險(xiǎn)問(wèn)題更加嚴(yán)重，從而為次貸危機(jī)的爆發(fā)埋下了隱患。無(wú)限衍生的證券鏈條會(huì)使資金的最初供應(yīng)者與最終使用者之間的距離太遠(yuǎn)，從而多層次的委托關(guān)系被無(wú)限地延伸，這必然使風(fēng)險(xiǎn)監(jiān)管機(jī)構(gòu)形同虛設(shè)，再加上受利益驅(qū)使的證券信用評(píng)級(jí)制度失效，這都會(huì)使風(fēng)險(xiǎn)被無(wú)限放大，這就是美國(guó)次貸危機(jī)的主因。

3、國(guó)際貨幣體系扭曲論。一些學(xué)者認(rèn)為現(xiàn)存的國(guó)際貨幣體系是嚴(yán)重扭曲的、不合理的，以美元為本位的后布雷頓森林體系不僅難以解決全球性的經(jīng)濟(jì)失衡問(wèn)題，還會(huì)加劇經(jīng)濟(jì)的不平衡。區(qū)域或全球性經(jīng)濟(jì)失衡會(huì)導(dǎo)致國(guó)際資本在一定范圍內(nèi)重新配置，而國(guó)際資本通過(guò)扭曲化的國(guó)際貨幣體系來(lái)流動(dòng)就會(huì)導(dǎo)致區(qū)域性金融危機(jī)的爆發(fā)。

4、過(guò)度消費(fèi)論。美國(guó)式的文化模式使其居民過(guò)度消費(fèi)，美國(guó)只有依靠大量發(fā)行負(fù)債才能滿足其消費(fèi)欲望，從而造成美國(guó)債務(wù)存量持續(xù)增加，最終影響了國(guó)家信用，引發(fā)了經(jīng)濟(jì)波動(dòng)。

5、政策誘致論。政府各種不適當(dāng)?shù)恼?，如?cái)政政策、貨幣政策和產(chǎn)業(yè)政策，都可能使原本均衡的宏觀經(jīng)濟(jì)失衡，政策的出發(fā)點(diǎn)是好的，但往往適得其反，加劇經(jīng)濟(jì)的波動(dòng)。美聯(lián)儲(chǔ)所發(fā)行的貨幣超出實(shí)體經(jīng)濟(jì)的需要，金融機(jī)構(gòu)的錢太多了，再加上對(duì)對(duì)沖基金監(jiān)管不力，最終成為次貸危機(jī)的罪魁禍?zhǔn)住?/p>

6、流動(dòng)性過(guò)剩論。全球性的流動(dòng)性過(guò)剩不僅使全球的通脹壓力加大，還會(huì)加速國(guó)際資本的流動(dòng)，大量的“熱錢”涌入房地產(chǎn)業(yè)，使房?jī)r(jià)泡沫越吹越大，在一定程度上引發(fā)了危機(jī)。貸款標(biāo)準(zhǔn)降低，貸款規(guī)模不合理加大，再經(jīng)由證券市場(chǎng)傳導(dǎo)給全世界投資美國(guó)次級(jí)貸款證券的投資者，最終演繹成為全球潛在金融風(fēng)險(xiǎn)。

二、我國(guó)虛擬經(jīng)濟(jì)發(fā)展策略

1、加快銀行商業(yè)化改革。近年來(lái)，我國(guó)金融改革深化的速度較快，但銀行泡沫仍未消除。我國(guó)銀行泡沫集中反映在不良貸款上。要消除這些泡沫，就必須加快銀行體制改革步伐。對(duì)國(guó)有獨(dú)資商業(yè)銀行進(jìn)行綜合改革，具備條件的要改組為國(guó)家控股的股份制商業(yè)銀行并創(chuàng)造條件上市。同時(shí)，建立風(fēng)險(xiǎn)防范和金融創(chuàng)新機(jī)制。依靠信息技術(shù)和金融工程推進(jìn)市場(chǎng)化的金融創(chuàng)新，以應(yīng)對(duì)2006年國(guó)外銀行業(yè)全面進(jìn)入后的競(jìng)爭(zhēng)是我國(guó)銀行業(yè)改革的必然選擇。

2、繼續(xù)規(guī)范和發(fā)展資本市場(chǎng)。資本市場(chǎng)作為虛擬經(jīng)濟(jì)的主要活動(dòng)場(chǎng)所，其規(guī)模、市場(chǎng)種類、市場(chǎng)主體和提供的證券品種應(yīng)不斷擴(kuò)大，以疏通居民投資和企業(yè)資本運(yùn)營(yíng)渠道。對(duì)資本市場(chǎng)的規(guī)范，當(dāng)前應(yīng)集中在證券市場(chǎng)上。特別是在上市公司由“績(jī)優(yōu)”變“績(jī)差”的步子大大加快的情況下，要抑制股市泡沫必須改革股票的計(jì)劃發(fā)行制度，完善上市公司的產(chǎn)生機(jī)制，并對(duì)現(xiàn)有業(yè)績(jī)較差的公司進(jìn)行引進(jìn)外資和民營(yíng)化重組等產(chǎn)權(quán)動(dòng)作，以便從整體上提高上市公司質(zhì)量。

3、優(yōu)先發(fā)展信息產(chǎn)業(yè)，廣泛應(yīng)用信息技術(shù)。20世紀(jì)八十年代以來(lái)，以現(xiàn)代化的通訊設(shè)備、計(jì)算機(jī)技術(shù)和網(wǎng)絡(luò)技術(shù)為代表的信息技術(shù)的高速發(fā)展，是發(fā)達(dá)國(guó)家虛擬經(jīng)濟(jì)迅速擴(kuò)張的有力技術(shù)支撐。我國(guó)也要優(yōu)先發(fā)展信息產(chǎn)業(yè)，利用信息技術(shù)帶來(lái)的降低交易費(fèi)用、減少交易時(shí)間、擴(kuò)大經(jīng)營(yíng)空間、提高交易速度和提供創(chuàng)新產(chǎn)品的作用，發(fā)展虛擬經(jīng)濟(jì)。同時(shí)，以信息化帶動(dòng)工業(yè)化，以工業(yè)化促進(jìn)信息化，實(shí)現(xiàn)虛擬經(jīng)濟(jì)與實(shí)體經(jīng)濟(jì)的雙贏。

4、加強(qiáng)對(duì)虛擬經(jīng)濟(jì)的監(jiān)管。在大力發(fā)展虛擬經(jīng)濟(jì)時(shí)，必須防止虛擬經(jīng)濟(jì)過(guò)度膨脹。一是要加強(qiáng)對(duì)國(guó)內(nèi)虛擬資本市場(chǎng)管理的立法和監(jiān)督，按國(guó)際慣例嚴(yán)格規(guī)范市場(chǎng)行為;二是要對(duì)國(guó)際資本流動(dòng)進(jìn)行監(jiān)控，以防國(guó)際投機(jī)資本的沖擊;三是要適當(dāng)調(diào)控為虛擬經(jīng)濟(jì)服務(wù)的虛擬場(chǎng)所，如虛擬社區(qū)、網(wǎng)上交易、郵箱等，以避免虛擬經(jīng)濟(jì)對(duì)實(shí)體經(jīng)濟(jì)積極作用的發(fā)揮因網(wǎng)絡(luò)技術(shù)的更新而有所降低。

主要參考文獻(xiàn)

徐渭詩(shī)詞范文第5篇

今天，我們?cè)谶@里召開##區(qū)打擊機(jī)動(dòng)車非法營(yíng)運(yùn)、維護(hù)市場(chǎng)秩序動(dòng)員大會(huì)，這次會(huì)議的主要任務(wù)是深入貫徹落實(shí)市委、市政府有關(guān)會(huì)議精神，安排部署我區(qū)打擊機(jī)動(dòng)車非法營(yíng)運(yùn)工作，廣泛動(dòng)員全區(qū)上下，特別是集中公安、城管、交通等執(zhí)法部門力量，在全區(qū)開展聯(lián)合執(zhí)法行動(dòng)，治理并遏制當(dāng)前我區(qū)各類影響城市形象、侵害乘客權(quán)益、擾通秩序的非法營(yíng)運(yùn)行為，努力為人民群眾乘車出行營(yíng)造良好的交通秩序，為建設(shè)##新城創(chuàng)造良好的城市環(huán)境和社會(huì)秩序。

今天的會(huì)議共有五項(xiàng)議程：一是部署全區(qū)打擊機(jī)動(dòng)車非法營(yíng)運(yùn)維護(hù)市場(chǎng)秩序工作；二是宣讀打擊機(jī)動(dòng)車非法營(yíng)運(yùn)維護(hù)市場(chǎng)秩序責(zé)任書；三是向有關(guān)單位頒發(fā)打擊機(jī)動(dòng)車非法營(yíng)運(yùn)維護(hù)市場(chǎng)秩序責(zé)任書；四是部分單位作典型發(fā)言；五是區(qū)打擊機(jī)動(dòng)車非法營(yíng)運(yùn)工作協(xié)調(diào)小組組長(zhǎng)、常務(wù)副區(qū)長(zhǎng)##同志講話。

首先，進(jìn)行大會(huì)第一項(xiàng)議程：請(qǐng)區(qū)打擊機(jī)動(dòng)車非法營(yíng)運(yùn)工作協(xié)調(diào)小組辦公室主任、公安分局副局長(zhǎng)##同志代表區(qū)打擊機(jī)動(dòng)車非法營(yíng)運(yùn)工作領(lǐng)導(dǎo)小組，部署全區(qū)打擊機(jī)動(dòng)車非法營(yíng)運(yùn)維護(hù)市場(chǎng)秩序工作；

下面，進(jìn)行大會(huì)第二項(xiàng)議程：請(qǐng)區(qū)政府辦公室副主任##同志宣讀##區(qū)打擊機(jī)動(dòng)車非法營(yíng)運(yùn)維護(hù)市場(chǎng)秩序責(zé)任書；

下面，進(jìn)行大會(huì)第三項(xiàng)議程：請(qǐng)公安分局、城管大隊(duì)、交通局、交通支隊(duì)、工商分局、旅游局上臺(tái)領(lǐng)取##區(qū)打擊機(jī)動(dòng)車非法營(yíng)運(yùn)維護(hù)市場(chǎng)秩序責(zé)任書；

下面，進(jìn)行大會(huì)第四項(xiàng)議程：請(qǐng)區(qū)治安支隊(duì)隊(duì)長(zhǎng)張建平同志發(fā)言（發(fā)言完畢）；請(qǐng)區(qū)城管大隊(duì)##同志發(fā)言（發(fā)言完畢）；請(qǐng)區(qū)交通局##同志發(fā)言。