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

徐渭詩詞范文第1篇

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

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

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

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

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

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

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

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

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

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

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

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

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

兩個月后，肖蕓痊愈出院了。

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

在妻子不能生育的事實面前，唐東雖然也備感失落，但他還是用一個男人特有的寬容和大度盡力地去安慰肖蕓，并對她說 ”沒有孩子，我們一樣可以生活得很好，再說，如果你喜歡小孩，我們也可以抱養(yǎng)別人的孩子。”唐東的安慰．讓肖蕓的心情變得更加沉重起來．因為她很清楚，其實唐東比自己還要痛苦。

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

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

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

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

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

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

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

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

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

唐東對文麗的這些變化并沒有放在心上，他覺得這些可能都是因為文麗剛剛生了小孩的緣故．還經(jīng)常安慰文麗說有得必有失。

2002年的8月19日的下午，因為公司沒有什么事，唐東很早就回了家?？粗鑱y的書架，唐東覺得應該整理一下了。正當他把所有的書拿出來準備重新擺放時，一本帶鎖的日記本突然掉到了地上。唐東很是奇怪，平時沒有見過文麗寫日記啊。帶著好奇，他撬開了那本帶鎖的日記。當他帶著復雜的心情讀完那本日記時，唐東憤慨不已。

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

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

徐渭詩詞范文第2篇

“學習雷鋒，好榜樣……”每當聽到這首歌時，我總能想到雷鋒的愛心。我們只要一起獻出自己的愛心，我們的愛會匯成一股巨大的正能量，推倒困難，讓社會充滿愛和溫暖。

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

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

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

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

徐渭詩詞范文第3篇

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

4 反取證攻擊的模型檢測

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

4.1反取證攻擊場景的生成

我們在模塊AttDet中描述了集Data的一批符號常量和為兩個參數(shù)SecNbr和DirNbr賦值，即定義一個具體實例之后，就可以利用TLHC來檢查上節(jié)中討論的正確性性質(zhì)。其結(jié)果生成了大量的磁盤反取證攻擊場景。

4.2 不變量與可能攻擊場景

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

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

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

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

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

5 小結(jié)

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

參考文獻：

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

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

徐渭詩詞范文第4篇

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

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

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

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

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

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

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

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

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

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

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

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

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

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

主要參考文獻

徐渭詩詞范文第5篇

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

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

首先，進行大會第一項議程：請區(qū)打擊機動車非法營運工作協(xié)調(diào)小組辦公室主任、公安分局副局長##同志代表區(qū)打擊機動車非法營運工作領導小組，部署全區(qū)打擊機動車非法營運維護市場秩序工作；

下面，進行大會第二項議程：請區(qū)政府辦公室副主任##同志宣讀##區(qū)打擊機動車非法營運維護市場秩序責任書；

下面，進行大會第三項議程：請公安分局、城管大隊、交通局、交通支隊、工商分局、旅游局上臺領取##區(qū)打擊機動車非法營運維護市場秩序責任書；

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